--- /dev/null
+body {
+ font-family: Arial, Helvetica, Sans-serif;
+ font-size: 0.9em;
+ }
+p.nav {
+ text-align: center;
+ border-top: solid lightgray 1px;
+ border-bottom: solid lightgray 1px;
+}
+h1 {
+ font-size: 1.5em;
+ }
+
+input.searchbox {
+ font-size: 0.9em;
+ width: 20em;
+}
+
+div#searchdiv {
+ /*
+ z-index:10;
+ position: absolute;
+ top: 0;
+ right: 0;
+ */
+ /*width:11em;*/
+ background-color: lightgray;
+ border:2px solid lightblue;
+ /*
+ border-right: 0px;
+ border-top: 0px;
+ filter: alpha(opacity=50);
+ -moz-opacity: .5;
+ */
+}
+
+/*
+html>body div#searchdiv {
+ position: fixed;
+}
+*/
+
+div#header img {
+ position: absolute;
+ top: 0;
+ right: 0;
+ }
+h1, div#header p, form p {
+ margin: 0;
+ padding: 0;
+ }
+form {
+ margin: 1em 0 0 3em;
+ font-size: 0.8em;
+ }
+input {
+ margin-right: 0.5em;
+ }
+dt {
+ margin-top: 1.2em;
+ }
+dd {
+ font-style: italic;
+ margin: 0;
+ width: 80%;
+ margin-left: 1em;
+ }
+dd.desc {
+ font-style: normal;
+ }
+dd.url {
+ color: #999999;
+ font-style: normal;
+ margin-left: 0;
+ }
+#footer {
+ text-align: center;
+ }
+.escape { /* part of hack used to handle web browsers that don't support disable-output-escaping (e.g. Mozilla) */
+ display: inline;
+ }