11 background: transparent;
13 text-decoration: none;
18 background: transparent;
20 text-decoration: underline;
27 font-family: monospace;
29 padding: 1.33em 1.33em 1.33em 2.66em;
39 font-family: monospace;
41 padding: .66em 1.33em .66em 1.33em;
47 font-family: Times, serif;
49 padding: .66em 1.33em .66em 1.33em;
75 border: 2px solid #666;
91 border-left-style: solid;
92 border-left-color: #d0d0d0;
93 border-left-width: 1px;
95 padding-bottom: .75em;
106 padding-right: .66em;
116 padding-left: 1.33em;
133 border-color: #d0d0d0;
150 padding-left: 1.66em;
161 font-family: monospace;
167 background-image: url("../images/background.jpg");
168 background-repeat: repeat-x;
171 background-color: white; /* #f5f5f5; */
182 border-right-style: solid;
183 border-right-color: #d0d0d0;
184 border-right-width: 1px;
187 /* These were being used per id but there were two duplicate id's each.
188 These individual properties have been moved to the images to which they were applied in titlebar.php.
190 border-bottom: 1px dashed #9999cc;
196 padding: 0em 1em 0em 0em;
200 padding: .833em 1.33em 1.33em 1.33em;
206 border-color: #d0d0d0;
217 color: #8b0000; /* darkred; */
249 border: 1px dotted #aaaa77;
257 background-color: #aaaa77;
260 border-right: 1px solid gray;
261 border-bottom: 1px solid gray;
275 border-color: #d0d0d0;
341 padding-bottom: 1.2em;
361 border: 1pt dashed #2f6fab;
362 font-family: monospace;
366 padding: .66em 1.33em;
377 font-family: monospace;
379 padding: .66em 1.33em;
387 margin-bottom: 1.33em;
390 border-top-style: ridge;
391 border-bottom-style: ridge;
392 border-top-width: 7px;
393 border-bottom-width: 7px;
398 font-family: monospace;
399 padding: .66em 1.33em;
403 color: #ffbbbb; /* brighter red; */
419 p.image, p.image-slices {
447 /* text-align:justify; */
454 font-family: monospace;
462 font-family: monospace;
483 border: 1pt dashed #2f6fab;
484 font-family: monospace;
493 padding: .66em 1.33em;
505 border: solid 2px black;
506 font-family: monospace;
517 font-family: monospace;
528 /* padding: 0 .25em 0 0; */
535 padding: .67em 1.33em .67em 0;
538 span.crtout, .crtprompt {
540 /* font-family: Times, serif; */
541 /* margin: 1.33em 40px; */
543 padding-bottom: .67em;
547 padding-left: 1.33em;
548 padding-right: 1.33em;
553 /* padding-left: .66em; */
561 background-color: transparent;
585 span.size-mod-title { }
594 border-color: #d0d0d0;
608 background-color: #d2ddf6;
612 th.size-alt, tr.size-alt, td.size-alt {
613 background-color: #f0f0f0;
616 th.size-norm, tr.size-norm, td.size-norm {
617 background-color: #f7f7f7;
635 background-color: #ADD8E6; /* lightblue; */
641 border-bottom: solid 1px;
645 #linkbar, #navigation-bar {
649 border: solid #d0d0d0;
650 border-width: 1px 0px 1px 0px;
651 padding: 5px 5px 5px 160px;
680 border-color: #d0d0d0;
681 border-width: 0px 1px 0px 0px;
722 background-color: transparent;
735 background-image: url("../images/background.jpg");
736 background-repeat: repeat-x;
746 border-color: #d0d0d0;
759 #www-imagemagick-org {
764 #titlebar, #navigation-bar, #linkbar, #menu, #margin { display: none }
773 .size-alt { background-color: #f5f5f5; }
775 .size-accent { background-color: #f5f5f5; }
777 .size-mod-body { font-size: 93.666%; }
795 border: solid 2px black;
796 font-family: monospace;