/* * Main style-sheet for website programming pages */ .c { color: red; background-color: inherit; } .url { font-family: monospace; } pre span.file { font-style: italic; font-weight: bold; } code.em { font-style: italic; } em.file { font-style: italic; } body { padding: 0 0.5em 2ex 0.5em; margin: 0; background: #ffffff; color: black; font-family: /* "Times New Roman", */ serif; min-width: 400px; max-width: 800px; } h1, h2, h3, h4 { font-family: sans-serif; } h1 { display: block; text-align: center; background: #990000; color: #eeee66; border-top: solid #cc3333 3px; border-left: solid #cc3333 3px; border-bottom: solid #660000 3px; border-right: solid #660000 3px; padding: 3px 0; margin: 0.5ex auto 1ex auto; font-size: 110%; letter-spacing: 0.2em; word-spacing: 1em; text-transform: capitalize; font-variant: small-caps; } h1 img { padding: 0 1em; display: inline; } h2 { padding: 0; margin: 1ex 0; } #topsection { position: relative; left: 0; top: 0; } #midsection { position: relative; left: 0; top: 0; } #botsection { position: relative; left: 0; top: 0; } #leftbar { width: 25%; position: absolute; top: 0; left: 0; margin: 0; padding: 0; z-index: 0; } #conts { position: relative; left: 25%; width: 75%; padding: 0 0 2ex 0; margin: 0; z-index: 1; } #navig { display: block; padding: 0; margin: 0; } #navig ul { margin: 0 0 2ex 0; width: 90%; padding: 0; } #navig li { display: block; width: 100%; list-style-type: none; list-style-position: outside; padding: 0; margin: 0; } #navig li.sel { display: block; background: #009900; color: inherit; } #navig a { display: block; background: #66cc00; border-left: solid #66cc00 3px; border-right: solid #66cc00 3px; border-top: 0; border-bottom: 0; color: black; text-decoration: none; font-family: sans-serif; width: 100%; padding: 2px 0 3px 0; font-weight: bold; font-size: 90%; margin: 1px 0 0 0; } #navig a:hover { border-left: solid #009900 3px; border-right: solid #009900 3px; } #navig li.sel a { display: block; background: #009900; border-left: solid #009900 3px; border-right: solid #009900 3px; color: #ccff66; } #navig .name { padding: 0 6px; } #links { margin: 2ex 0 2ex 0; width: 90%; background: #99ccff; color: inherit; border: dashed #3366cc 1px; padding: 2px; } #links ul { margin: 0 0 0 0.5em; padding: 0px; } #links li { list-style-type: none; padding: 3px 0; font-family: sans-serif; font-size: 75%; line-height: 75%; } #links a { text-decoration: none; } #links a:hover { background: #88bbee; } #conts pre { font-size: 9pt; padding: 0 0 0 1em; margin: 1ex 1em 1ex 0; background-image: url(../../gifs/check.gif); background-repeat: repeat; background-position: top left; background-color: transparent; color: inherit; border: #d3d3d3 solid 1px; } #navig h2 { display: none; } #links h2 { display: block; font-family: sans-serif; font-size: smaller; font-weight: bold; padding: 1ex 0 1ex 0; margin: 0; } .break { display: block; height: 0px; line-height: 0px; font-size: 0; /* Hack for IE */ width: 80%; margin: 0 auto; padding: 12px 0 0 0; border-bottom: dashed #666699 1px; } #conts p { margin: 0 1em 1ex 0; padding: 0; } #ad, .valid { width: 90%; padding: 2ex 2px 0 2px; text-align: center; } #ad img, #xhtml img { display: block; margin: 0 auto; } #index { width: 30%; float: right; font-size: 75%; line-height: 133%; border: solid #ff6600 1px; margin: 1ex 1em; font-family: sans-serif; padding: 0; } #index h2 { font-size: 120%; padding: 0 6px; margin: 0; line-height: 200%; background-color: #ff6600; color: #ffcc66; } #index ul { padding: 0; margin:0; background-color: #ffcc66; color: inherit; } #index ul li { padding: 0 0 0 4px; margin: 0; list-style-type: none; border-bottom: dotted #ff6600 1px; } #index ul li.last { border-bottom: none; } #index ul li ul li { margin: 0 0 0 1em; list-style-type: none; border: none; } #index a { text-decoration: none; } #index a:hover { text-decoration: underline; } .link { text-decoration: underline; font-style: normal; } #copy { text-align: right; } .skin { display: inline; font-family: sans-serif; } dfn { font-style: normal; border-bottom: #666 dashed 1px; } .hl { background-color: #ccf; color: inherit; }