<html><head><meta name="color-scheme" content="light dark"></head><body><pre style="word-wrap: break-word; white-space: pre-wrap;">body {
  margin: 0;
  padding: 0;
  border-top: 10px solid #660066;
  font-size: 12px;
}



h1.title /* The title of the page */ {
  background-color:#BBA3bb;
}


h3 {
  border-bottom: dotted 1px #BBA3bb;
}

#page-title-left {
  background-color: #606;
}</pre></body></html>