Note: After saving, you may have to bypass your browser's cache to see the changes.
/* ** HTML elements */ body { margin: 0; padding: 0; text-align: center; font-size: 0.8em; font-family: "Bitstream Vera Sans", "Lucida Grande", "Trebuchet MS", sans-serif; color: #535353; background: #fff; } .clear { clear: both; } /* general styles */ table { background: white; font-size: 100%; color: black; } a:link, a:visited { padding-bottom: 0; text-decoration: none; color: #0057ae; } a:hover { text-decoration: underline; } a.title:link, a.title:visited, a.title:hover { text-decoration: none; color: #fff; } a:visited { color: #644a9b; } /* a.stub { color: #772233; } a.new, #p-personal a.new { color: #ba0000; } a.new:visited, #p-personal a.new:visited { color: #a55858; } */ h1, h2, h3, h4 { text-align: left; font-weight: bold; margin-top: 1.0em; color: #F7800A; background: transparent; } h1 { margin-top: 1.5em; font-size: 1.7em; } h1.firstHeading { margin-top: .5em; font-size: 1.7em; } h2 { font-size: 1.5em; } h3 { font-size: 1.2em; color: #e3ad00; } h4 { font-size: 1.1em; } h5 { font-size: 1.0em; } #right ul { line-height: 1.5em; list-style-type: square; margin: .3em 0 0 1.5em; padding: 0; /* list-style-image: url(bullet.gif);*/ } ol { line-height: 1.5em; margin: .3em 0 0 3.2em; padding: 0; list-style-image: none; } li { margin-bottom: .1em; } hr { margin: 0.3em 1em 0.3em 1em; height: 1px; border: #dddddd dashed; border-width: 0 0 1px 0; } del { color: #800; text-decoration: line-through; } dt { font-weight: bold; font-size: 1.05em; color: #0057ae; } dd { margin-left: 1em; } p { margin-top: 0.5em; margin-bottom: 0.9em; text-align: justify; } hr { margin: 0.3em 1em 0.3em 1em; height: 1px; border: #dddddd dashed; border-width: 0 0 1px 0; } legend { background: white; padding: .5em; font-size: 95%; } input, textarea, select { margin: 0.2em; padding: 0.1em; font-size: 125%; /* for poor aaron */ color: #000; background: #fff; border: 1px solid; } fieldset { border: #ccc 1px solid; } li { text-align: justify; } form { margin: 0; padding: 0; } hr { height: 1px; border: gray 1px solid; } img { border: 0; } table { border-collapse: collapse; font-size: 1em; } th { text-align: left; padding-right: 1em; border: #ccc solid; border-width: 0 0 3px 0; } abbr, acronym, .explain { border-bottom: 1px dotted black; color: black; background: none; cursor: help; } q { font-family: Times, "Times New Roman", serif; font-style: italic; } /* disabled for now blockquote { font-family: Times, "Times New Roman", serif; font-style: italic; }*/ code { font-family: 'Bitstream Vera Sans Mono', Courier; background-color: #f9f9f9; padding: 0 0.5em 0 0.5em; border: 1px solid #b5cfe9; } pre { padding: 1em; /*/ border: 1px dashed #2f6fab; color: black; background-color: #f9f9f9;*/ font-size: 1.1em; line-height: 1.1em; overflow: auto; } /* **The main area for structural Layout */ /* Main Header Navigation */ #header { width: 100%; color: #535353; background: #eee; border-bottom: 1px solid #bcbcbc; } #header_top { margin: 0 auto; padding: 0; width: 60em; min-width: 770px; max-width: 45em; vertical-align: middle; color: #fff; background: url(top.jpg) repeat-x bottom; background-color: #0057AE; min-height: 51px; } #header_top div { margin: 0 auto; padding: 0; background: url(top-left.jpg) no-repeat bottom left; min-height: 51px; } #header_top div div { margin: 0 auto; padding: 0; vertical-align: middle; text-align: left; font-size: 1.7em; font-weight: bold; background: url(top-right.png) no-repeat bottom right; min-height: 51px; } #header_top div div img { margin:8px 0 8px 18px; vertical-align: middle; } #header_bottom { margin: 0 auto; padding: 0.6em 0em 0.3em 0; width: 60em; min-width: 770px; max-width: 45em; vertical-align: middle; text-align: right; background: #eeeeee; } #location { padding: 0 0 0 1.5em; text-align: left; line-height: normal; font-size: 1.1em; font-weight:bold; float: left; } #location ul { display: inline; margin: 0; padding: 0; list-style: none; } #location ul li { display: inline; white-space : nowrap; margin: 0; padding: 0 1em 0 0; } #body_wrapper { margin: 0 auto; width: 60em; min-width: 770px; max-width: 45em; } #body { float: left; margin: 0; padding: 0; width: 60em; min-height: 40em; min-width: 770px; max-width: 45em; border: #dddddd solid; border-width: 0 0 0 1px; } #main { width: 100%; padding: 10px; text-align: left; } /* Container for the right content that gets floated right */ #right { float: right; margin: 0; padding: 0; width: 73%; } /* ** Left Navigation for Wiki */ #left { float: left; margin: 0; padding: 0; width: 25%; } /* ** Top Menu UL Based Menu */ #menu { margin: 0 0 0 0; text-align: right; line-height: normal; font-size: 1.1em; font-weight: bold; } #menu ul { display: inline; list-style: none; margin: 0; padding: 0; text-align: right; } #menu ul li { display: inline; white-space : nowrap; margin: 0 0 0 0; padding: 0 0 0 0; text-align: center; max-height: 1.6em; } #menu ul li a, #menu ul li.selected a{ padding: 0.2em 8px 0.3em 0; } #menu ul li a { background: url(tab-right.png) no-repeat top right; color: #5d5d5d; text-decoration:none; } #menu ul li.new a { background: url(tab-right.png) no-repeat top right; color: #bbbbbb; text-decoration:none; } #menu ul li.selected a{ background: url(taba-right.png) no-repeat top right; border-bottom: 1px solid white; } #menu ul li span, #menu ul li.selected span { padding: 0.2em 0.6em 0.3em 1em; } #menu ul li span { background: url(tab-left.png) no-repeat top left; } #menu ul li.selected span { background: url(taba-left.png) no-repeat top left; color: #1357a4; border-bottom: 1px solid white; } /* ** Menu CSS code goes in this section */ .menu_box { padding: 0.7em 0 0.5em 0; text-align: left; } .menu_box ul { text-align: left; margin-left: -10px; } .menu_box li { list-style-type: none; text-align: left; } .menu_box .active{ color: #cf4913; } .menutitle { text-align: left; margin: 0.6em 0 0 0; padding:0; color: white; color: white; background: url(block_title_mid.png) repeat-y right; background-color: #0057AE; } .menutitle div { margin: 0; padding:0; background: url(block_title_top.png) no-repeat top right; } .menutitle div h2 { margin: 0; padding: 0.2em 0 0.3em 0.5em; line-height:1.2em; font-size: 120%; font-weight: normal; color: white; background: url(block_title_bottom.png) no-repeat bottom right; } /* Search Button Classes go here */ .menu_box form { margin-top: 0.6em; text-align:center; } .menu_box form #searchInput{ width: 8em; border: 2px solid #dddddd; color: #aaa; font-size:75% } .menu_box input.searchButton { /*confirm the colours used in here */ margin-top: 1px; width: 4em; background-color: #888a85; color: #fff; border: 1px solid #bcbdba; font-size:75% } #footer { width: 100%; background: #eeeeee; } #footer_text { margin: 0 auto; padding: 1em 0 1em 3.5em; width: 51.5em; text-align: left; color: #000000; background: #eeeeee; } #footer a:link, #footer a:visited { color: #4d88c3; } .printfooter { display: none; } img.tex { vertical-align: middle; } span.texhtml { font-family: serif; } /* emulate center */ .center { width: 100%; text-align: center; } *.center * { margin-left: auto; margin-right: auto; } /* small for tables and similar */ .small, .small * { font-size: 94%; } table.small { font-size: 100%; } /* ** Diff rendering */ table.diff, td.diff-otitle, td.diff-ntitle { background-color: white; } td.diff-addedline { background: #cfc; font-size: smaller; } td.diff-deletedline { background: #ffa; font-size: smaller; } td.diff-context { background: #eee; font-size: smaller; } span.diffchange { color: red; font-weight: bold; } div.floatright, table.floatright { clear: right; float: right; position: relative; margin: 0 0 .5em .5em; border: 0; /* border: .5em solid white; border-width: .5em 0 .8em 1.4em; */ } div.floatright p { font-style: italic; } div.floatleft, table.floatleft { float: left; position: relative; margin: 0 .5em .5em 0; border: 0; /* margin: .3em .5em .5em 0; border: .5em solid white; border-width: .5em 1.4em .8em 0; */ } div.floatleft p { font-style: italic; } /* rounded infobox */ .rbroundbox { } .rbtop div { background: url(tl.png) no-repeat top left; } .rbtop { background: url(tr.png) no-repeat top right; } .rbbot div { background: url(bl.png) no-repeat bottom left; } .rbbot { background: url(br.png) no-repeat bottom right; } .rbtopwrap { color: #fff; background-color: #0071bc; padding-bottom: 0.5em; font-weight: bold; text-align: center; } .rbtop div, .rbtop, .rbbot div, .rbbot { width: 100%; height: 7px; font-size: 1px; } .rbcontent { margin: 0 7px; padding-top: 0.5em; } .rbroundbox { width: 50%; margin: 1em auto; background-color: #dadde0;} /* rounded codebox */ div.rtop, div.rbottom { display: block; } div.rtop b, div.rbottom b { display: block; height: 1px; overflow: hidden; } div.rtop b.r1, div.rbottom b.r1 { margin: 0 5px; background: #555753; } b.r2 {margin: 0 3px; border-left: 2px solid #555753; border-right: 2px solid #555753;} b.r3 {margin: 0 2px; border-left: 1px solid #555753; border-right: 1px solid #555753;} div.rtop b.r4, div.rbottom b.r4 { margin: 0 1px; height: 2px; border-left: 1px solid #555753; border-right: 1px solid #555753; } div.rmiddle { border-left: 1px solid #555753; border-right: 1px solid #555753; padding: 0 5px; } div.rcode p, pre { margin: 0; } div.codebox { margin-bottom: 1em; } div.rcode { margin: 0; padding: 0; display: block; overflow:auto; font-family: 'Bitstream Vera Sans Mono', monospace; white-space: pre; } .codebarbg { background-image: url(codebarbg.png); background-position: center right; background-repeat: no-repeat; background-color: #f1f1f1; font-family: 'Bitstream Vera Sans Mono', monospace; font-weight: bold; font-size: 14px; color: #555753; padding: 0em 0.5em 0em 0.5em; margin-bottom: 0.5em; }