+ <style type="text/css">
+
+ html {
+ overflow-y: scroll;
+ }
+
+ body {
+ font-family: tahoma, arial, sans-serif;
+ font-size: small;
+ }
+
+ hr {
+ border: 0;
+ color: gray;
+ background-color: gray;
+ height: 1px;
+ }
+
+ thead {
+ font-weight: bold;
+ }
+
+ .jslink {
+ cursor: pointer;
+ }
+
+ .jslink:hover {
+ text-decoration: underline;
+ }
+
+ #heading {
+ background-color: #ff8c71;
+ border-color: #ff8c71;
+ color: #ffffff;
+ font-size: large;
+ }
+
+ input#button {
+ border: 3px groove #3171f2;
+ background-color: #6b9bfd;
+ padding: 1px;
+ width: 5em;
+ color: #FFFFFF;
+ font-weight: bold;
+ font-size: 12px;
+ margin-left: 8px;
+ cursor: pointer;
+ }
+
+ input#query {
+ border: 2px inset #ff613c;
+ padding: 3px;
+ font-size: 12px;
+ }
+
+ div.termtitle {
+ margin: 4px;
+ font-weight: bold;
+ }
+
+ div.record {
+ padding: 5px;
+ }
+
+ div.details {
+ border: 3px dashed gray;
+ padding: 5px;
+ margin: 4px;
+ }
+
+ #targetview {
+ padding: 6px;
+ }
+
+ </style>