/*These styles apply to all browsers unless overridden in "stylesNewerBrowsers.css" */ img.imgleft { float:left; margin-top:5px; margin-right:15px; margin-bottom:10px; /*border:1px solid #021a40;*/ } img.imgright { float:right; margin-top:5px; margin-left:15px; margin-bottom:10px; /*border:1px solid #021a40;*/ } body { /* body margin doesn't work under Netscape 4, so we create the "content" class below which should be applied to the entire body via a "div"... margin-left: 10%; margin-right: 20%; */ font-size: 90%; /* font-family: Verdana, Geneva, sans-serif;*/ font-family: Arial, Helvetica, sans-serif; /*font-family: "Verdana", sans-serif;*/ /* font-family: georgia, "Book Antiqua", palatino, serif;*/ color: black; background: white; } /* The only purpose of this is to apply a margin to the in a way*/ /* that Netscape 4 will understand */ div.content { /*The percentages control margins in this order: Top, Right, Botton, Left...*/ margin: 5% 20% 5% 15% /* padding: 10px 20px; */ } h1,h2,h3,h4,h5,h6 { margin-left: 0% } h1 { font-size: 155%; } h1.title{ color: #330033; background: white; text-align: center; text-indent: 0em; margin-top: 0%; margin-bottom: 0; } h2 { margin-top: 2em; color: #330033; background: white; font-size: 140%; } h2.subtitle { margin-top: -0.5em; color: #330033; background: white; font-size: 130%; } h2.subsection { /* margin-top: 2em; */ margin-bottom: 1em; } h3 { margin-top: 1.5em; margin-bottom: -0.2em; text-decoration: underline; color: #330033; background: white; font-size: 130%; } h4 { color: #330033; background: white; font-size: 110%; text-decoration: underline; margin-bottom: 0; } h5 { color: #330033; background: white; font-size: 100%; text-decoration: none; } /* text-decoration: underline; } */ /* h5 { margin-bottom: 1em; } */ /* margin-top: 2em; */ pre { color: green; background: white; font-weight: bold; white-space: pre; font-family: "Courier New", monospace; } ul.outdent { margin-left: 1.5%; } li { margin-top: 0; margin-bottom: 0; } tt { font-size:100%; color: black; background: white; } strong { font-style: normal; font-weight: normal ; text-decoration: underline; } .strong2 { font-size: 97%; font-weight: bold; } .strong3 { font-style: italic; font-size: 97%; font-weight: bold; } .strong4 { text-decoration: underline; font-style: italic; font-size: 97%; font-weight: bold; } .strong5 { text-decoration: underline; font-style: italic; color: red; font-size: 105%; font-weight: bold; } /*strong em { font-weight: bold; color: black; text-decoration: underline; font-style: italic; } */ strong em { font-style: italic; } /*em {text-decoration: underline;}*/ .center { text-align: center } div.box { border: solid; border-width: thin; width: 100%; padding: 0.2em; } .linkLeft { width: 30%; font-weight: bold; float: left; font-size: 60%; } .linkRight { width: 30%; font-weight: bold; float: right; text-align: right; font-size: 60%; } .smallLeft { text-align: left; font-size: 80%;} .smallRight { text-align: right; font-size: 80%;} .mailFormLeft { width: 38%; font-weight: normal; } .right { text-align: right; } div.toc { font-size: 100%; } /* div.indented { font-size: 90%; padding-left: 10%; padding-right: 10%; } */ div.color { background-color: rgb(204,204,255); padding: 0.5em; border: none; width: 100%; } .trademark { color: red; background: white; font-size: 70%;} div.trademark_red { color: red; background: white; margin-left: 0%; margin-right: 0%; font-size: 70%; } div.trademark_black { color: black; background: white; margin-left: 0%; margin-right: 0%; font-size: 70%; } pre.bad { color: rgb(192, 101, 101) } li.nomargin { text-indent: 0em; margin-top: 0%; margin-bottom: 0; } p { text-indent: 0em; margin-bottom: 0; } /*p.indented { padding-left: 2em; padding-right: 2em; }*/ .indented {margin-left: 2.0em} /*.indented { padding-left: 2em; padding-right: 2em; }*/ .blockquote {margin-left: 1.5em; font-size: 95% } p.nomargin { text-indent: 0em; margin-top: 0%; margin-bottom: 0; } p.changed { padding-left: 0.2em; border-left: solid; border-top: none; border-bottom: none; border-right: none; border-left-width: thin; border-color: red; background: white; } table { margin-left: 0%; font-size: 80%; /* background: white;*/ /* border-width: 2px;*/ /* border-color: white;*/ } td { font-family: sans-serif; } td.small { font-family: sans-serif; font-size: 80% } td.shaded { background: rgb(255, 255, 153) } th.shaded { background: rgb(204, 204, 153) } a:link { color: blue; background-color: transparent; text-decoration: none; } a:visited { color: #990000; background-color: transparent; text-decoration: none; } a:active { color: rgb(255, 0, 102); background-color: transparent; text-decoration: none; } a:hover { /* color: blue;*/ background-color: transparent; text-decoration: underline overline; } /* vim: tw=0 co=100 */