<html><head><meta name="color-scheme" content="light dark"></head><body><pre style="word-wrap: break-word; white-space: pre-wrap;">/* ---------------------------
   searchform styling
   --------------------------- */

div[id=searchform] { 
  background-color: #ddddff;
  border: 1px dotted navy;
  border-radius: 1em;
  left: 0px; 
  margin: 2em;
  padding: .5em;
  position: relative; 
  top: 0px; 
  text-align: center;
}

div[id=searchform].withresults {
  border-radius: 1em 1em 0 0;
  margin-bottom: 0;
}

div[id=searchhelp_container] {
  display: inline;
}

/* ---------------------------
   results styling
   --------------------------- */

div[id=results] {
  background-color: #ddffdd;
  border-left: 1px dotted navy;
  border-right: 1px dotted navy;
  border-bottom: 1px dotted navy;
  border-radius: 0 0 1em 1em;
  left: 0px; 
  margin: 0 2em 2em 2em;
  padding: .5em;
  position: relative; 
  top: 0px; 
}

div[class="resultsmanager"] {
  background-color: #d3fee5;
  float: right;
  margin: -4px 0 .25em 1em;
  padding: 3px;
  width: auto;
}

ol[id=resultslisting] {
  counter-reset: li;
}

ol[id=resultslisting] &gt; li {
  background-color: #efe;
  border-top: 2px solid #888;
  list-style: none;
  margin-bottom: 1em;
  padding: 4px 8px;
  position: relative;
}

ol[id=resultslisting] &gt; li:before {
  background-color: #888;
  border: 1px solid #888;
  border-radius: 0 0 0 .5em;
  color: #afa;
  content: counter(li);
  counter-increment: li;
  font-weight: bold;
  position: absolute;
  text-align: center;
  top: -2px;
  left: -2em;
  -moz-box-sizing: border-box;
  -webkit-box-sizing: border-box;
  box-sizing: border-box;
  width: 2em;
}

a[class~="silentlink"] {
  color: black;
  text-decoration: none;
}

/* ---------------------------
   problem popup styling
   --------------------------- */

div[class~="view_problem"] {
  width: 75%;
}

table[class~="view_problem_table"] {
  background-color: #dfd;
  /* font-size: 90%; */
  margin: 0.25em;
  padding: 3px;
}

td[class~="col1"] {
  border: 1px solid black;
  padding: 5px;
  width: 67%;
}

td[class~="col2"] {
  border: 1px solid black;
  border-collapse: collapse;
  padding: 3px;
  width: 33%;
}

div[class~="problem_content"] {
  background-color: #f8f8f8;
  border: 1px dashed #aaa;
  border-radius: 3px;
  margin-left: 5px;
  padding: 3px;
}

ul[class~="problem_description"] {
  margin: 3px 0 0 0;
  padding: 0 0 0 15px;
}
ul[class~="problem_description"] li {
  margin: 0 0 0 5px;
}

/* ---------------------------
   flag popup styling
   --------------------------- */

div[class~="flag_problem"] {
  width: 50%;
}</pre></body></html>