<html><head><meta name="color-scheme" content="light dark"></head><body><pre style="word-wrap: break-word; white-space: pre-wrap;">body {background: white; color: black; font: 12px Verdana, sans-serif;
  margin: 0; padding: 0.5em; border-width: 0;
  min-width: 52.5em !important; position: relative;}
* {font-size: 1em;}
a:link, #textbar a:link {color: #00C;}
a:visited, #textbar a:visited {color: #909;}
*:target {background: #FF9;}

#skipper {display: none !important;}
#obsolete {margin: 0 1em 3em; padding: 1em; border: 3px double;
  text-align: center; font-size: 105%;
  background: rgb(100%,98%,10%); color: rgb(66%,0%,0%);}

#masthead {border: 1px solid;
  font-family: Arial, sans-serif;
  padding: 0; margin: 0;}
#masthead h1 {font-weight: normal; font-size: 300%;
  letter-spacing: 0.42em; text-transform: lowercase;
  position: relative; z-index: 10;
  margin: 0 12em -0.1em 0; padding: 0.5em 0.25em 0;}
#masthead h1 a {text-decoration: none;}
#masthead h1 span {position: absolute; top: 0.5em; left: 1.75em; 
  font-size: 50%; letter-spacing: 0.4em;}

#srch {position: absolute; top: 0.5em; right: 0.5em; z-index: 11;
  width: 12em; height: 4.66em;
  border: 1px solid; border-left: 3px double; padding: 0; margin: 0;}
#srch h4 {font-size: 1em; margin: 0 0 0.5em; padding: 0.5em 0.25em 0;
  border-bottom: 1px solid;}
#srch div {margin: 0.125em 0 0 0.33em;}
#srch input.text {width: 75%;}
#srch input[type="submit"] {padding: 0; margin-left: 2px;}

#main {position: relative; z-index: 20; width: 100%; border-top: 1px solid;
  background: white;}

pre, code, tt {font: 100% "Courier New", Courier, "Andale Mono", monospace;}
sup {vertical-align: baseline; position: relative; top: -0.33em;}

/* ADJUST RIGHT CONTENT MARGIN WIDTH */
#content {margin: 3em 3em 0 2em; padding: 0.5em 1.5em 2em 2em;
  border-style: none; font: 1em/1.25em Verdana, sans-serif; }
#content h1, #content h2, #content h3, #content h4 {margin: 0.5em 0 0;}
#content h1 {font-size: 200%; line-height: 0.95em; margin: 0;
  border-bottom: 1px solid gray; line-height: 1.15em;}
#content h2 {font-size: 175%;}
#content h2, #content h3 {font-family: Arial, sans-serif; line-height: 1.2em;}
#content h2 {font-size: 150%; margin: 2.5em 0 0.5em;}
#content h3 {font-size: 133%; margin: 1.5em 0 0.5em;}
#content h4 {margin: 1.25em 0 0; font-size: 125%;}
#content p {padding-left: 0.66em; margin: 0.25em 0 1.5em; font-size: 0.95em;}
#content ul, #content ol {margin: 0.25em 0.5em 1em 2.5em; padding: 0;
  font-size: 0.95em;}
#content ul {list-style-type: disc; font-size: 95%;
  margin: 1em 0; padding-left: 2.5em;}
#content ul li {margin-bottom: 0.5em; line-height: 1.15em;}
#content ul.nde-metadata {padding: 0 0.125em;
  list-style: none; font-size: 1.1em; color: #333;}
#content ul.nde-metadata li {margin: 0.125em 0;}
#content ul#nde-author {margin: 0.33em 0 0; margin-bottom: 3em; font-weight: bold;}

#content pre {width: 100%;}
#content img {max-width: 100%;}

#content table {font-size: 1em;}
#content table tr, #content table td {font-size: 1em;}

#navbar {position: absolute; z-index: 100; top: 0; font: 1em Verdana, sans-serif;
  left: 0; right: 0; top: 0; margin: -1px 0 0 0; padding: 0.33em 0;
  width: 100%; line-height: 1em;
  border: 1px solid; border-width: 1px;}
html&gt;body #navbar {width: auto;}

#nde-blue {background: rgb(62%,64%,87%);
  color: rgb(17%,20%,50%) !important;}
#nde-tan {background: rgb(92%,80%,58%);
  color: rgb(37%,23%,8%) !important;}
#nde-gray {background: rgb(75%,75%,75%);
  color: rgb(33%,33%,33%) !important;}
#nde-classic {background: rgb(26%,54%,61%);
  color: white !important;}
#nde-config ul a:hover {color: black !important;
  background: rgb(100%,98%,70%);}

#nde-footer {border-top: 1px solid; padding: 0.25em 0.1em 0.5em; margin: 0;
  font: 0.75em Verdana, sans-serif; text-align: left; clear: both;}


/* ---------------------------------------------------------------- */
/* NN4.x-specific rules */

.nde-nn4 {background: yellow; color: red; font-weight: bold; font-size: 125%;
  border: 1px solid white; padding: 0.25em;}

/* ---------------------------------------------------------------- */
/* The following styles will be ignored by NN4.x */
/*/*/

*.nde-nn4 {display: none;}
</pre></body></html>