h1 { font-weight: bold; font-size: large;  }
h2 { font-weight: bold; font-size: large; font-variant: small-caps; border: thick outset blue; color: black; }
.normal { color: black; }
.config { text-decoration: none; color: blue; font-family: serif; font-weight: bold; }
.prompt { font-family: monospace; color: black; }
.command { font-family: serif; color: blue; }
.editor { font-family: monospace; font-weight: bold; color: black; whitespace: pre; }
.comment { font-style: italic; color: green; }
.hide { display: none; }
.gatewaydoc { font-size: 10pt; }
.gatewaydoc a { text-decoration: none; font-weight: bold; color: blue; }
.gatewaydoc a:hover {text-decoration: underline; }
.refdoc a { test-decoration: underline; color: black; }


.references {color: black; font-size: small; }

.doctitle { font-style: italic; color: black; }

a { text-decoration: underline; }