/* -*- css -*- */ body { width: 760px; margin: 0px; font: 14px "Microsoft Verdana",Verdana,sans-serif; } table { font: inherit; background: inherit; color: inherit; } a { text-decoration: none; } @media screen { /* hide from IE3 */ a:hover { border-bottom: 1px solid; } } p.copyright { font-size: small } p.copyright small { font-size: small } pre { margin: 0px 1em } p { margin-top: 0.8em; margin-bottom: 0.8em; } .note { margin-left: 3em; margin-right: 3em; border-top: 2px solid; border-bottom: 2px solid; border-left: 2px solid; -moz-border-radius: 8px 0px 0px 8px; } .note .body { padding: 5px 20px; } .note .title { float: right; padding: 4px 10px; font-weight: bold; } dt, dd { margin-top: 0 } /* opera 3.50 */ dd { margin-bottom: 1em } dt { font-weight: bold; font-style: italic; border-bottom: 1px dotted; padding-left: 1em; margin-left: 1em; } pre, code { font-family: fixed,monospace; } /* navigator 4 requires this */ pre.code { padding: 1em; } ul.toc { list-style: disc; /* Mac NS has problem with 'none' */ list-style: none; } li { margin-bottom: 1em; } h1 { font: bold small-caps 130% Georgia,serif; padding: 4px 4px 4px 18px; letter-spacing: 3px; margin-bottom: 10px; } h2 { font: 150% bold Trebuchet,Georgia,serif; letter-spacing: 2px; } h3 { font: bold 120% Trebuchet,Verdana,sans-serif; letter-spacing: 2px; margin-bottom: -10px; margin-top: -10px; } .secbody { width: 580px; margin: 10px 10px 10px 10px; } .secbody h3 { border-bottom: none; margin-left: 0px; padding-left: 0em; } .secbody h2 { border-bottom: 2px solid; margin-left: -10px; padding-left: 1em; } .secbody h4 { border-bottom: 1px solid; text-align: right; } .secbody h5 { border-bottom: none; margin-left: 0px; padding-left: 0em; } .img { margin-left: 5px; margin-right: 10px; } /* BEGIN: NEWS */ .brief { display: none; position: absolute; border: 2px solid; border-top: 1px solid; z-index: 10; width: 300px; font-family: Tahoma,Verdana,sans-serif; font-size: 80%; } .brief .nest, #buzzbar .nest { padding-left: 20px; } .brief .item { border-top: 1px solid; padding: 2px; } .brief .stamp { float: right; margin-left: 10px; } .brief .name { font-weight: bold; } .brief .text, #buzzbar .text { padding: 1px 5px; } #buzzbar { float: right; width: 28%; border: 1px solid; border-top: none; } #buzzbar .title { padding: 3px; font-size: 90%; border-top: 1px solid; } #buzzbar .sect { margin: 5px 10px; font: 90% helvetica,arial; } #buzzbar .item { } #buzzbar .stamp { padding: 2px 4px; margin: 0px -4px; } #buzzbar .time { float: right; text-align: right; border-bottom: 1px dashed; } #buzzbar .name { border-bottom: 1px dashed; } #newsbar { width: 70%; } .newsstart { margin-bottom: 30px; font-size: 90%; padding: 2px; -moz-border-radius: 8px; } .newsstart .newsbody { padding: 0.5em 1em; } .newsstart .newsbody li { margin-bottom: 0px; } .newsstart .bot, .newsstart .top { position: relative; border: 1px solid; -moz-border-radius: 6px; padding: 2px 5px; font: 90% Tahoma,Verdana,sans-serif; } .newsstart .subject { padding: 2px 10px; font: bold italic 110% Georgia,serif; text-align: right; } .newsstart .bot { float: right; top: -0.7em; margin: 0px 4px; } .newsstart .top { float: left; top: 1em; margin-left: 4px; } .newsstart .newsauthor { font-weight: bold; } /* END: NEWS */ /* BEGIN: navigation */ #counter { text-align: center; margin-bottom: 20px; } .navmenu { visibility: hidden; position: absolute; padding: 1px; border: 1px solid; width: 150px; font: 85% helvetica,arial,sans-serif; z-index: 20; } .navmenu .title { display: block; font-weight: bold; margin-bottom: 4px; text-align: center; cursor: default; border: 1px dotted; } .navsec { position: relative; font: 90% helvetica,arial,sans-serif; padding: 2px 2px 2px 2px; margin-top: 1.5em; border: 1px solid; -moz-border-radius: 6px 0px 6px 0px; } .navsecct, .navsecct { padding-top: 16px; padding-bottom: 6px; } .navsecname { position: absolute; top: -0.9em; border: 1px solid; -moz-border-radius: 6px 0px 6px 0px; letter-spacing: 0.2em; font-weight: bold; font-family: Tahoma,sans-serif; padding: 2px 10px; cursor: default; } .navsecct a, .navsecct a, .menutitle, .menutitledisabled { display: block; padding: 1px 5px; margin: 0px 8px; } .navmenu a { display: block; padding: 1px; border: none; } .navmenu a:hover, .navsec a:hover { text-decoration: none; border: none; } .navmenu a:active, .navsec a:active { padding: 2px 4px 0px 6px; } .navsecct a.navdisabled, .navsecct a.navdisabled, .menutitledisabled { margin: 0px 5px; border-top: 1px solid; border-bottom: 1px solid; border-left: 2px solid; border-right: 2px solid; } .navsec a.navdisabled:hover { margin: 0px 5px; border-top: 1px solid; border-bottom: 1px solid; border-left: 2px solid; border-right: 2px solid; } .navmenu a.navdisabled { padding: 0px 0px; border: 1px dotted; font-weight: bold; } .navmenu a.navdisabled:hover { padding: 0px 0px; border: 1px dotted; font-weight: bold; } #footer, #header { font-size: 80%; padding: 4px 1em 4px 1em; } #header { border-bottom: 2px dotted; margin-left: 0.8em; } #footer { margin-right: 1em; margin-left: -12em; border-left: 2px dotted; border-right: 2px dotted; border-top: 2px dotted; border-bottom: 2px dotted; } .paren { font-size: smaller; margin-left: 20px; } FIXME { background-color: #600000; color: #ff0000; padding: 10px; border: 2px solid #ff0000; display: block; font-weight: bold; font-size: larger; text-align: center; } h1 a, h2 a { text-decoration: none; } .cventry { border-left: 2px solid; border-right: 2px solid; border-bottom: 1px dashed; } .cvtag, .cvtaghl { margin: 0px 10px 0px 10px; text-align: right; font-weight: bold; padding: 4px 20px 4px 20px; border-right: 1px dashed; border-bottom: 1px dashed; border-left: 1px dashed; cursor: default; } .cvval { padding: 4px; margin-left: 10px; font-size: 90%; } .cvval ul { margin-top: 0px; margin-bottom: 0px; } .cvval li { margin: 0px 0px 0px 0px; padding: 0px; list-style: square; } .gbhead { border-bottom: 2px solid; } .gbname { padding: 2px 5px 2px 5px; } .gbdate { padding: 2px 5px 2px 5px; font-size: 90%; float: right; } .gbtext { padding: 0px 20px 5px 20px; font-size: 90%; } .center { text-align: center; } a img, a.image { border: none; } a.image:hover { margin: 0px; padding: 0px; border: none; } .toplink { text-align: right; font-size: smaller; } .error { padding: 20px; border: 4px solid #f00; text-align: center; font-size: 140%; } #conttoc { float: right; font-size: 80%; border: 1px solid; margin: 0px 0px 20px 20px; padding: 5px; font-family: Tahoma,Verdana,sans-serif; } #conttoc .level1 { font-weight: bold; } #conttoc .level2 { margin-left: 1em; } #conttoc .level3 { margin-left: 2em; } #conttoc .level4 { margin-left: 3em; } #conttoc .level5 { margin-left: 4em; } #conttoc .level6 { margin-left: 5em; } input, textarea { font-family: monospace; } input[type="text"], textarea { border: 1px solid; } button, input.button { padding: 0px; font-family: sans-serif; font-size: smaller; } .pointer { cursor: pointer; } /* for the sucking IE5 "browser".