/* Multics web site common styles.  */

BODY {background-color: #ffffff; color: #000000;}
H1, H2, H3, H4 {font-family: sans-serif; font-weight: bold;}
h1 {font-size: 125%;}
h2 {font-size: 110%;}
h3 {font-size: 100%;}
h4 {font-size: 97%;}
.attribution {font-size: 70%;}
.cmd {font-family: monospace; font-size: 97%; font-weight: bold;}
.copyright {font-size: 80%;}
.disclaimer {font-size: 80%;}
.dochist {font-size: 80%;}
.fineprint {font-size: 80%;}
.glossterm {}
.glossdef {}
.glossttyex {font-family: monospace; font-size: 97%; margin: 0 0 0 5em;}
.headingdate {background-color: #000000; color: #fefefe; font-family: sans-serif; font-weight: bold; font-size: 80%; text-decoration: none;}
.headingtitle {background-color: #000000; color: #fefefe; font-family: sans-serif;}
.headingword {background-color: #000000; color: #fefefe; font-family: sans-serif; text-decoration: none; font-size: 80%;}
.helv {font-family: sans-serif;}
.newsgroup {font-family: monospace; font-size: 97%; font-weight: bold;}
.notes {font-style: italic; font-size: 80%;}
.pathname {font-family: monospace; font-size: 97%; font-weight: bold;}
.pl1 {font-family: monospace; font-size: 97%;}
.quoteblock {font-family: Sans-Serif; font-size: small; margin: 1em 3em 1em 1em;}
.regtitle {font-family: sans-serif; font-weight: bold;}
.textnav {font-family: sans-serif; font-size: 70%;}
.toc {font-family: sans-serif; font-size: 70%;}
.tty {font-family: monospace; font-size: 97%;}
.unixcmd {font-family: monospace; font-size: 97%; font-weight: bold;}
.vol {font-weight: bold;}
.url {font-family: monospace; font-size: 97%; font-weight: bold;}

P.small {font-size: small;}
P.announce {font-family: sans-serif; font-size: small;}
ADDRESS {font-family: monospace; font-size: 97%; font-style: italic;}
.author {font-style: italic;}
.caption {font-family: sans-serif; font-style: italic; font-size: 80%;}
.click {font-size: 90%;}
.datemod {font-style: italic;}
.newflag {font-size: 9pt; font-weight: bold; font-family: sans-serif; background-color: #ffff00; color: #000000;}
.nm {margin: 0;}
.sm {font-size: 80%;}
.updatedflag {font-size: 9pt; font-weight: bold; font-family: sans-serif; background-color: #00ff00; color: #000000;}
img.block {display: block;}
a:link {color: #0000ff;}
a:visited {background-color: #ffffff; color: #777777;}
a:hover {background-color: #ffdddd; color: black;}
a:active {background-color: #ffffff; color: #ff0000;}