<html><head><meta name="color-scheme" content="light dark"></head><body><pre style="word-wrap: break-word; white-space: pre-wrap;">body {
  color: #003366;
  font-family:Trebuchet MS, Helvetica
}

h1 {
  color: #006699
}

h2 {
  color: white;
  background-color: #006699;
  font-size: 18px;
  border-style: solid;
  border-width: 2px;
  border-color: #006699;
  border-left-width:10px;
  padding: 2px;
  clear: both
}

h3 {
  color: #006699;
  clear: both
}

img.photo {
  float: left;
  margin-right: 20px
}

img.figure-left {
  float: left;
  margin-left: 20px;
  margin-right: 20px;
  margin-bottom: 10px;	
}

img.figure-right {
  float: right;
  margin-left: 20px;
  margin-bottom: 10px;	
}

img.emailaddress {
  margin-right: 20px;
  vertical-align:middle;
}

div.copyright {
  text-align: right;
  color: white;
  background-color: #006699;
  font-size: smaller;
  padding: 2px;
  clear: both
}

pre.source {
  text-align: left;
  color: black;
  padding: 5px;
  background-color: #D0E0F0;
  margin-left: 15px;
  font-size: 16px;
  font-family:Trebuchet MS
}

pre.source-ng {
  text-align: left;
  color: black;
  padding: 5px;
  background-color: #F0E0D0;
  margin-left: 15px;
  font-size: 16px;
  font-family:Trebuchet MS
}

ul.itemize {list-style-type:square}
ul.enumerate {list-style-type:decimal}
ul.labeled {list-style-type:none}
span.label {font-weight: bold}

</pre></body></html>