body {
background: white;
color: black;
+ font-family: Candara, Sans-Serif;
margin: 0px;
padding: 0px;
- font-size: 0.9em;
- line-height: 135%;
+ font-size: 10pt;
}
a {
font-weight: bold;
}
-a:hover {
+a[href]:hover {
background: transparent;
color: #991e1e;
text-decoration: underline;
border-style: solid;
border-color: #d0d0d0;
border-width: 1px;
-/*
- border-spacing: 0px;
- font-size: 90%;
- padding-top: .5em;
-*/
padding-left: .66em;
font-weight: bold;
vertical-align: top;
left: 0px;
}
-
div.sub {
background: #f5f5f5;
color: black;
}
div.titlebar {
- background-image: url("../image/background.jpg");
+ background-image: url("../images/background.jpg");
background-repeat: repeat-x;
height: 118px;
width: 100%;
left: 0em;
position: absolute;
/* height: 100%; */
- font-size: 12px;
+ font-size: 9pt;
border-right-style: solid;
border-right-color: #d0d0d0;
border-right-width: 1px;
}
-/* These were being used per id but there were two duplicate id's each.
- These individual properties have been moved to the images to which they were applied in titlebar.php.
acronym, .help {
border-bottom: 1px dashed #9999cc;
cursor: help;
border-width: 1px;
}
-dt.doc {
- font-weight: bolder;
- font-size: 110%;
- padding-top: .5em;
- }
+dt {
+ font-weight: bold;
+ margin-left: 3em;
+ margin-top: 2em;
+ margin-bottom: .5em;
+}
+dd {
+ margin: .5em .5em .5em 5em;
+}
+
em.arg {
color: #8b0000; /* darkred; */
font-weight: normal;
}
h1 {
- background: #f5f5f5;
color: black;
+ padding: 5px;
+ background: #f5f5f5;
border-style: solid;
border-color: #d0d0d0;
border-width: 1px;
- padding: 5px;
margin-bottom: 30px;
+ margin-top: 5px;
font-weight: bold;
font-size: 110%;
text-align: center;
+ text-transform: capitalize;
clear: left;
}
font-size: 100%;
}
-iframe
-{
- margin:1%;
+iframe {
+ margin: 1%;
}
img {
margin-right: 40px;
}
+li table {
+ margin: 1em 0px;
+ width: 100%;
+}
+
.list li {
padding-bottom: 1.2em;
}
}
p {
- /*
- margin: 1.33em 0px;
- margin-left: 40px;
- margin-right: 40px;
- */
- margin: 1.33em 40px;
+ margin: 0.75em 0px;
+ text-align: left;
}
+p+h3, pre+h3, ul+h3, ol+h3, dl+h3 {
+ margin-top: 2em;
+}
p.code {
color: black;
padding: .66em 1.33em;
}
-
p.crt {
white-space: nowrap;
border-style: ridge;
color: white;
background: #000044;
font-family: monospace;
+ font-size: 9pt;
margin: 1.33em 40px;
padding: .66em 1.33em;
}
margin-right: auto;
}
-
p.navigation-index {
padding: 10px;
margin-top: 1px;
p.options {
padding: 0 3em;
-/* text-align:justify; */
}
p.pre {
padding: 1.33em;
}
-
p.warn {
padding: .66em 3em;
background: #ffeedd;
}
-
pre {
padding-top: 0pt;
padding-bottom: 0pt;
margin: 0pt;
+ font-size: 90%;
}
pre.code {
color: black;
background: #f5f5f5;
- border: 1pt dashed #2f6fab;
+ border: solid 2px black;
font-family: monospace;
- font-size: 8pt;
white-space: pre;
- /*
margin: 1.33em 0px;
margin-left: 40px;
margin-right: 40px;
- */
- margin: 1.33em 40px;
- padding: .66em 1.33em;
-
+ padding: 1.33em;
+ font-size: 90%;
}
pre.crt {
pre.text {
color: black;
- background: #d2ddf6;
+ background: #ddddff;
font-family: monospace;
white-space: pre;
- margin: 1.33em 40px;
-/*
+ margin: 1.33em 0px;
margin-left: 40px;
margin-right: 40px;
-*/
padding: 1.33em;
}
span.bull {
-/* padding: 0 .25em 0 0; */
color: #d0d0d0;
}
span.crtout, .crtprompt {
color: #ffff77;
-/* font-family: Times, serif; */
-/* margin: 1.33em 40px; */
padding-top: .67em;
padding-bottom: .67em;
}
}
span.crtprompt {
-/* padding-left: .66em; */
padding-right: 0;
text-indent:-1.33em;
}
-
span.different {
font-weight: bold;
background-color: transparent;
padding: .3em .5em;
}
+td {
+ text-align: left;
+ padding: .5em;
+}
+
td.map {
margin: 0px;
padding: 0px;
th {
background-color: #d2ddf6;
color: black
+ text-align: left;
+ padding: .5em;
}
th.size-alt, tr.size-alt, td.size-alt {