| body { |
| background: white; |
| color: black; |
| margin: 0px; |
| padding: 0px; |
| font-size: 0.9em; |
| line-height: 135%; |
| } |
| |
| a { |
| background: transparent; |
| color: #17457c; |
| text-decoration: none; |
| font-weight: bold; |
| } |
| |
| a:hover { |
| background: transparent; |
| color: #991e1e; |
| text-decoration: underline; |
| font-weight: bold; |
| } |
| |
| div.cmd { |
| color: black; |
| background: #d2ddf6; |
| font-family: monospace; |
| margin: 1.33em 40px; |
| padding: 1.33em 1.33em 1.33em 2.66em; |
| text-indent:-1.33em; |
| } |
| |
| div.crt { |
| border-style: ridge; |
| border-width: 7px; |
| border-color: blue; |
| color: white; |
| background: #000044; |
| font-family: monospace; |
| margin: 1.33em 0em; |
| padding: .66em 1.33em .66em 1.33em; |
| } |
| |
| div.cmdout { |
| color: black; |
| background: #d0d0dd; |
| font-family: Times, serif; |
| margin: 1.33em 40px; |
| padding: .66em 1.33em .66em 1.33em; |
| } |
| |
| div.doc-section > p { |
| margin: 1.33em 0px; |
| } |
| |
| div.doc-section { |
| margin: 1.33em 40px; |
| } |
| |
| div.eastbar { |
| width: 13.5%; |
| left: 0em; |
| position: absolute; |
| /* height: 100%; */ |
| font-size: 12px; |
| border-right-style: solid; |
| border-right-color: #d0d0d0; |
| border-right-width: 1px; |
| |
| } |
| |
| div.eqn { |
| text-align: center; |
| } |
| |
| div.footer { |
| margin-left: 13.5%; |
| background: white; |
| } |
| |
| div.group { |
| border: 2px solid #666; |
| padding: 0; |
| margin: 0.8em 8px; |
| } |
| |
| div.image { |
| text-align: center; |
| } |
| |
| div.info { |
| clear: both; |
| } |
| |
| div.main { |
| background: white; |
| color: black; |
| border-left-style: solid; |
| border-left-color: #d0d0d0; |
| border-left-width: 1px; |
| padding-left: .75em; |
| padding-bottom: .75em; |
| padding-top: 0px; |
| padding-right: .75em; |
| margin-left:13.5%; |
| } |
| |
| div.menu { |
| background: #f5f5f5; |
| color: black; |
| padding-left: .66em; |
| padding-right: .66em; |
| padding-top: .75em; |
| font-weight: bold; |
| vertical-align: top; |
| left: 0px; |
| } |
| |
| |
| div.sep { |
| background: #f5f5f5; |
| color: black; |
| padding-left: 1.33em; |
| padding-top: .75em; |
| font-weight: bold; |
| vertical-align: top; |
| left: 0px; |
| font-size: 66%; |
| } |
| |
| |
| div.sponsor { |
| padding-left: .5em; |
| padding-top: .25em; |
| font-size: 83.333%; |
| } |
| |
| div.sponsbox { |
| background: #ffffff; |
| 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; |
| padding-left: 1.66em; |
| padding-top: .15em; |
| font-weight: bold; |
| vertical-align: top; |
| left: 0px; |
| font-size: 90%; |
| } |
| |
| div.text { |
| color: black; |
| background: #d2ddf6; |
| font-family: monospace; |
| margin: 1.33em 40px; |
| padding: 1.33em; |
| } |
| |
| div.titlebar { |
| background-image: url("../image/background.jpg"); |
| background-repeat: repeat-x; |
| height: 118px; |
| width: 100%; |
| background-color: white; /* #f5f5f5; */ |
| border:0px; |
| padding-bottom:0px; |
| } |
| |
| acronym, .help { |
| border-bottom: 1px dashed #9999cc; |
| cursor: help; |
| } |
| |
| div.info img { |
| float: left; |
| padding: 0em 1em 0em 0em; |
| } |
| |
| dl.doc { |
| padding: .833em 1.33em 1.33em 1.33em; |
| border-spacing: 0px; |
| width: 85%; |
| text-align: left; |
| margin: 1.33em 40px; |
| border-style: solid; |
| border-color: #d0d0d0; |
| border-width: 1px; |
| } |
| |
| dt.doc { |
| font-weight: bolder; |
| font-size: 110%; |
| padding-top: .5em; |
| } |
| |
| em.arg { |
| color: #8b0000; /* darkred; */ |
| font-weight: normal; |
| } |
| |
| em.caution { |
| color: #981e49; |
| font-weight: bold; |
| } |
| |
| em.emergency { |
| color: #c74646; |
| font-weight: bold; |
| } |
| |
| em.option { |
| color: #8b0000; |
| font-weight: normal; |
| } |
| |
| em.QR { |
| color: #00008b; |
| font-weight: normal; |
| } |
| |
| em.warn { |
| color: #d5a82f; |
| font-weight: bold; |
| } |
| |
| fieldset { |
| padding: .5em; |
| background: white; |
| border: 1px dotted #aaaa77; |
| margin-left: 20px; |
| margin-right: 20px; |
| margin-top: .5em; |
| } |
| |
| fieldset legend { |
| color: #fff; |
| background-color: #aaaa77; |
| font-size: smaller; |
| padding: .1ex .5ex; |
| border-right: 1px solid gray; |
| border-bottom: 1px solid gray; |
| font-weight: bold; |
| } |
| |
| form { |
| margin: 1.33em 0px; |
| margin-left: 40px; |
| margin-right: 40px; |
| } |
| |
| h1 { |
| background: #f5f5f5; |
| color: black; |
| border-style: solid; |
| border-color: #d0d0d0; |
| border-width: 1px; |
| padding: 5px; |
| margin-bottom: 30px; |
| font-weight: bold; |
| font-size: 110%; |
| text-align: center; |
| clear: left; |
| } |
| |
| h2 { |
| font-weight: bold; |
| clear: both; |
| font-size: 110%; |
| } |
| |
| h3 { |
| font-weight: bold; |
| clear: both; |
| font-size: 100%; |
| } |
| |
| h4 { |
| font-weight: bolder; |
| clear: both; |
| font-size: 95%; |
| } |
| |
| h5 { |
| margin: 1.33em 0px; |
| margin-left: 40px; |
| margin-right: 40px; |
| font-weight: bold; |
| clear: both; |
| font-size: 100%; |
| } |
| |
| iframe |
| { |
| margin:1%; |
| } |
| |
| img { |
| border: none; |
| } |
| |
| img.icon { |
| float: left; |
| margin: 7px; |
| } |
| |
| img.map { |
| margin: 0px; |
| padding: 0px; |
| } |
| |
| kbd { |
| font-weight: bold; |
| } |
| |
| li { |
| margin-left: 40px; |
| margin-right: 40px; |
| } |
| |
| .list li { |
| padding-bottom: 1.2em; |
| } |
| |
| .list p { |
| margin: 0 0 0 0; |
| } |
| |
| p { |
| /* |
| margin: 1.33em 0px; |
| margin-left: 40px; |
| margin-right: 40px; |
| */ |
| margin: 1.33em 40px; |
| } |
| |
| |
| p.code { |
| color: black; |
| background: #f5f5f5; |
| border: 1pt dashed #2f6fab; |
| font-family: monospace; |
| font-size: 8pt; |
| white-space: pre; |
| margin: 1.33em 40px; |
| padding: .66em 1.33em; |
| } |
| |
| |
| p.crt { |
| white-space: nowrap; |
| border-style: ridge; |
| border-width: 7px; |
| border-color: blue; |
| color: white; |
| background: #000044; |
| font-family: monospace; |
| margin: 1.33em 40px; |
| padding: .66em 1.33em; |
| } |
| |
| p.crtsnip { |
| text-align: center; |
| margin-left: auto; |
| margin-right: auto; |
| margin-top: 1.33em; |
| margin-bottom: 1.33em; |
| width: 50%; |
| white-space: nowrap; |
| border-top-style: ridge; |
| border-bottom-style: ridge; |
| border-top-width: 7px; |
| border-bottom-width: 7px; |
| border-color: blue; |
| color: white; |
| font-weight: bolder; |
| background: #000044; |
| font-family: monospace; |
| padding: .66em 1.33em; |
| } |
| |
| p.crtsnip em.arg { |
| color: #ffbbbb; /* brighter red; */ |
| } |
| |
| p.info { |
| margin: 0.75em 0px; |
| text-align: left; |
| } |
| |
| p.image img { |
| border: none; |
| } |
| |
| p.image { |
| text-align: center; |
| } |
| |
| p.image, p.image-slices { |
| text-align: center; |
| } |
| |
| p.image-slices img { |
| display: block; |
| margin: 0px; |
| padding: 0px; |
| border: none; |
| margin-left: auto; |
| margin-right: auto; |
| } |
| |
| |
| p.navigation-index { |
| padding: 10px; |
| margin-top: 1px; |
| margin-bottom: 0px; |
| margin-left: 0; |
| margin-right: 0; |
| background: white; |
| text-align: center; |
| font-size: 80%; |
| white-space: normal; |
| } |
| |
| p.options { |
| padding: 0 3em; |
| /* text-align:justify; */ |
| } |
| |
| p.pre { |
| white-space: pre; |
| color: black; |
| background: #d2ddf6; |
| font-family: monospace; |
| padding: 0em; |
| margin: 0em; |
| } |
| |
| p.text { |
| color: black; |
| background: #d2ddf6; |
| font-family: monospace; |
| margin: 1.33em 40px; |
| padding: 1.33em; |
| } |
| |
| |
| p.warn { |
| padding: .66em 3em; |
| background: #ffeedd; |
| } |
| |
| |
| pre { |
| padding-top: 0pt; |
| padding-bottom: 0pt; |
| margin: 0pt; |
| } |
| |
| pre.code { |
| color: black; |
| background: #f5f5f5; |
| border: 1pt dashed #2f6fab; |
| 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; |
| |
| } |
| |
| pre.crt { |
| padding: 0; |
| margin: 0; |
| } |
| |
| pre.debug { |
| color: black; |
| background: #d2ddf6; |
| border: solid 2px black; |
| font-family: monospace; |
| white-space: pre; |
| margin: 1.33em 0px; |
| margin-left: 40px; |
| margin-right: 40px; |
| padding: 1.33em; |
| } |
| |
| pre.text { |
| color: black; |
| background: #d2ddf6; |
| font-family: monospace; |
| white-space: pre; |
| margin: 1.33em 40px; |
| /* |
| margin-left: 40px; |
| margin-right: 40px; |
| */ |
| padding: 1.33em; |
| } |
| |
| span.bull { |
| /* padding: 0 .25em 0 0; */ |
| color: #d0d0d0; |
| } |
| |
| span.crtin { |
| color: white; |
| font-weight: bolder; |
| padding: .67em 1.33em .67em 0; |
| } |
| |
| span.crtout, .crtprompt { |
| color: #ffff77; |
| /* font-family: Times, serif; */ |
| /* margin: 1.33em 40px; */ |
| padding-top: .67em; |
| padding-bottom: .67em; |
| } |
| |
| span.crtout { |
| padding-left: 1.33em; |
| padding-right: 1.33em; |
| display: block; |
| } |
| |
| span.crtprompt { |
| /* padding-left: .66em; */ |
| padding-right: 0; |
| text-indent:-1.33em; |
| } |
| |
| |
| span.different { |
| font-weight: bold; |
| background-color: transparent; |
| color: blue; |
| } |
| |
| span.filter { |
| font-weight: bold; |
| } |
| |
| span.info-east { |
| float: right; |
| } |
| |
| span.info-west { |
| float: left; |
| } |
| |
| span.option { |
| white-space: normal; |
| } |
| |
| span.path { |
| font-weight: bold; |
| } |
| |
| span.size-mod-title { } |
| |
| table.doc { |
| padding: 1.33em; |
| border-spacing: 0px; |
| width: 91%; |
| text-align: left; |
| margin: 1.33em 40px; |
| border-style: solid; |
| border-color: #d0d0d0; |
| border-width: 1px; |
| } |
| |
| table.doc td,th { |
| padding: .3em .5em; |
| } |
| |
| td.map { |
| margin: 0px; |
| padding: 0px; |
| } |
| |
| th { |
| background-color: #d2ddf6; |
| color: black |
| } |
| |
| th.size-alt, tr.size-alt, td.size-alt { |
| background-color: #f0f0f0; |
| } |
| |
| th.size-norm, tr.size-norm, td.size-norm { |
| background-color: #f7f7f7; |
| } |
| |
| #footer { |
| margin-left:0px; |
| } |
| |
| #footer-west { |
| float: left; |
| padding: 20px; |
| } |
| |
| #footer-east { |
| float: right; |
| padding: 20px; |
| } |
| |
| #header { |
| background-color: #ADD8E6; /* lightblue; */ |
| position: fixed; |
| top: 0px; |
| left: 0px; |
| width: 100%; |
| height: 4em; |
| border-bottom: solid 1px; |
| z-index: 10; |
| } |
| |
| |
| #linkbar, #navigation-bar { |
| clear: both; |
| background: #f5f5f5; |
| color: black; |
| border: solid #d0d0d0; |
| border-width: 1px 0px 1px 0px; |
| padding: 5px 5px 5px 13.5%; |
| font-weight: bold; |
| text-align: center; |
| margin-left:0px; |
| } |
| |
| |
| #linkbar-east { |
| float: right; |
| } |
| |
| #linkbar-center { |
| padding: 0px 80px; |
| } |
| |
| #linkbar-west { |
| float: left; |
| } |
| |
| |
| |
| #margin { |
| padding: 10px; |
| vertical-align: top; |
| white-space: nowrap; |
| left: 0px; |
| } |
| |
| #menu { |
| background: #f5f5f5; |
| color: black; |
| border-style: solid; |
| border-color: #d0d0d0; |
| border-width: 0px 1px 0px 0px; |
| padding: 10px; |
| font-weight: bold; |
| vertical-align: top; |
| white-space: nowrap; |
| top: 100px; |
| left: 0px; |
| height: 100%; |
| } |
| |
| #main { |
| margin-left: 0px; |
| padding-right: 0px; |
| padding-left: 10px; |
| } |
| |
| #menu a { |
| display: block; |
| } |
| |
| #menu a.sponsor { |
| display: block; |
| padding-left: 10px; |
| font-size: 76.6666%; |
| } |
| |
| #menu a.sub { |
| display: block; |
| padding-left: 10px; |
| font-size: 90%; |
| } |
| |
| #menu p { |
| display: none; |
| } |
| |
| #menu span { |
| display: none; |
| } |
| |
| #menu-button { |
| background-color: transparent; |
| padding: 0; |
| position: absolute; |
| top: 100px; |
| left: 0px; |
| cursor: w-resize; |
| } |
| |
| #notice { |
| color:#b90006; |
| } |
| |
| #titlebar { |
| background-image: url("../image/background.jpg"); |
| background-repeat: repeat-x; |
| height: 118px; |
| } |
| |
| #table { |
| text-align: left; |
| margin: 1.33em 0px; |
| margin-left: 40px; |
| margin-right: 40px; |
| border-style: solid; |
| border-color: #d0d0d0; |
| border-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. |
| #titlebar-east { |
| float: right; |
| } |
| |
| #titlebar-west { |
| float: left; |
| } |
| */ |
| |
| #www-imagemagick-org { |
| background: #f5f5f5; |
| } |
| |
| |
| @media print { |
| #titlebar, #navigation-bar, #linkbar, #menu, #margin { display: none } |
| |
| #main { |
| margin-left: 0px; |
| padding-right: 0px; |
| padding-left: 0px; |
| } |
| } |
| |
| .size-alt { background-color: #f5f5f5; } |
| |
| .size-accent { background-color: #f5f5f5; } |
| |
| .size-mod-body { font-size: 93.666%; } |
| |
| .size-mod-foot { } |
| |
| .size-mod-head { |
| text-align: left; |
| font-weight: bold; |
| } |
| |
| .size-mod-title { |
| font-size: 1.3em; |
| font-weight: bold; |
| } |
| |
| .viewport |
| { |
| color: black; |
| background: #f5f5f5; |
| border: solid 2px black; |
| font-family: monospace; |
| white-space: pre; |
| margin: 1.33em 40px; |
| padding: 1.33em; |
| height: 480px; |
| overflow: auto; |
| } |