rlm@42: 
rlm@42: /** RESETS **/
rlm@42: 
rlm@42: html,body,div,span,dl,dt,dd,ul,ol,li,a,table,h1,h2,h3,h4,h5,h6,p,pre,form,fieldset,blockquote,.src,.example{margin:0px;padding:0px;font-weight:normal;text-decoration:none;font-size:inherit;color:inherit;}
rlm@42: 
rlm@42: .section-number-1,.section-number-2,.section-number-3,.section-number-4,.section-number-5,.section-number-6{font-weight:inherit;}
rlm@42: 
rlm@42: .float-right{float:right;}
rlm@42: 
rlm@42: .author{
rlm@42: color:#666;
rlm@42: line-height:3em;
rlm@42: }
rlm@42: 
rlm@42: body{
rlm@42:     font:87.5% "Georgia Serif", Times, Palatino, "Times New Roman", serif;
rlm@42: }
rlm@42: a{color:blue;}
rlm@42: html>body{font-size:14px;}
rlm@42: 
rlm@42: body{
rlm@42:     width:54em;
rlm@42:     padding:1.5em;
rlm@42:     padding-top:6em;
rlm@42: 
rlm@42: }
rlm@42: 
rlm@42: p{
rlm@42:     line-height:1.5em;
rlm@42:     font-size:1em;
rlm@42:     margin-top:1.5em;
rlm@42:     margin-bottom:1.5em;
rlm@42: }
rlm@42: .post_list{
rlm@42:     margin-top:1.5em;
rlm@42: }
rlm@42: 
rlm@42: .title{text-align:left;}
rlm@42: 
rlm@42: 
rlm@42: 
rlm@42: h1{font-size:2.5em;line-height:1.2em;}
rlm@42: h2{font-size:1.5em;line-height:1em;margin-top:2em;margin-bottom:1em;}
rlm@42: h3{
rlm@42:     font-size:1.1667em;
rlm@42:     line-height: 1.286em;
rlm@42:     margin-top:1.929em;
rlm@42:     margin-bottom:0.643em;
rlm@42:     font-weight:bolder;
rlm@42: }
rlm@42: h4{
rlm@42:     font-weight:bold;
rlm@42:     line-height:3em;
rlm@42: }
rlm@42: 
rlm@42: 
rlm@42: 
rlm@42: 
rlm@42: /*p + dl{
rlm@42:     margin-top:-1.5em;
rlm@42:     border:1px solid red;
rlm@42: }*/
rlm@42: dt{font-weight:bold;}
rlm@42: dd{padding-left:1.5em;}
rlm@42: 
rlm@42: li{
rlm@42:     font-size:100%;
rlm@42:     line-height:1.5em;
rlm@42: }
rlm@42: 
rlm@42: 
rlm@42: div{margin:0!important;padding:0!important;}
rlm@42: /*table{display:none;}*/
rlm@42: .src,.example{margin:0;padding:1em;font-size:1em;line-height:1.5em;
rlm@42: }
rlm@42: .src{background:#000;color:#fff;}
rlm@42: .example{background:#766;color:#fff;padding:.75em}
rlm@42: 
rlm@42: 
rlm@42: 
rlm@42: .header{
rlm@42:     font-family:Arial,Helvetica,Verdana,sans-serif;
rlm@42:     vertical-align:text-top;
rlm@42:     position:absolute;
rlm@42:     top:0px;left:0px;
rlm@42:     right:0px;
rlm@42:     background:#345;
rlm@42:     padding:.75em 1.5em!important;
rlm@42:     border-bottom:1.5em solid #EBD6D6;
rlm@42:     border-bottom-color:#9FB8D3;
rlm@42:     background:#0F4D92;
rlm@42: 
rlm@42:     border-bottom:1em solid #cdf;
rlm@42:     background:#444;
rlm@42:     background:#49A;
rlm@42:     background:transparent;
rlm@42:     background:#eef0ff;
rlm@42: 
rlm@42:     background:#933;
rlm@42:     background:#A55;
rlm@42: 
rlm@42:     border-color:#EDD;
rlm@42: 
rlm@42:     /*background: #939; 
rlm@42:     border-color:#EDE;*/
rlm@42: 
rlm@42:     /* background:#359; */
rlm@42:     /* border-color:#9AC; */
rlm@42: 
rlm@42: }
rlm@42: 
rlm@42: 
rlm@42: 
rlm@42: 
rlm@42: 
rlm@42: .header h1{
rlm@42: font:1.75em Arial,Helvetica,Verdana,sans-serif;
rlm@42: line-height:1.166em;
rlm@42: font-weight:bold;
rlm@42: color:#b90;
rlm@42: color:#06a;
rlm@42: color:#fff;
rlm@42: 
rlm@42: text-shadow: #822 0px 0px 2px;
rlm@42: 
rlm@42: font-weight:normal;
rlm@42: display:inline;
rlm@42: }
rlm@42: .header h1 em{
rlm@42:     color:#b90;
rlm@42:     color:#fc2;
rlm@42:     color:#b90;
rlm@42:     color:#db2;
rlm@42:     color:#fd4;
rlm@42:     font-weight:bold;
rlm@42:     font-style:normal;
rlm@42: }
rlm@42: .header * {vertical-align:middle;}
rlm@42: 
rlm@42: .header ul {
rlm@42:     display:inline;
rlm@42:     padding-left:1.5em;
rlm@42:     margin-left:0!important;
rlm@42: }
rlm@42: .header li {
rlm@42:     display:inline;
rlm@42:     padding:0 .75em;
rlm@42: }
rlm@42: .header li a{
rlm@42:     text-decoration:none;
rlm@42:     color:#ffd;
rlm@42: }
rlm@42: 
rlm@42: 
rlm@42: /*dl{display:none;}*/
rlm@42: 
rlm@42: 
rlm@42: 
rlm@42: ol{margin-left:1.5em;}
rlm@42: ul{
rlm@42:     list-style-type: disc;
rlm@42:     margin-left:1.5em;
rlm@42: }
rlm@42: ul ul{
rlm@42:     list-style-type:circle;
rlm@42: }
rlm@42: 
rlm@42: #table-of-contents ul{list-style-type:none;}
rlm@42: #text-table-of-contents > ul:first-child > li > a{ font-weight:bold;}
rlm@42: 
rlm@42: 
rlm@42: 
rlm@42: 
rlm@42: #postamble p,#postamble a{
rlm@42:     font-size:.857em;
rlm@42:     line-height:1.75em;
rlm@42:     padding:0;
rlm@42:     margin:0;
rlm@42: }
rlm@42: #postamble{
rlm@42:     margin:1.75em 0!important;
rlm@42:     border-top:1px solid #888;
rlm@42: }
rlm@42: 
rlm@42: blockquote{
rlm@42:     margin-left:1em;
rlm@42: }
rlm@42: 
rlm@42: 
rlm@42: 
rlm@42: 
rlm@42: 
rlm@42: 
rlm@42: 
rlm@42: 
rlm@42: 
rlm@42: 
rlm@42: 
rlm@42: /*** blue **/
rlm@42: a{}
rlm@42: .header a{background:inherit;}
rlm@42: h1,h2,h3,h4,h5,h6, #text-table-of-contents li{
rlm@42:     color:#026;
rlm@42:     color:#0A3361;
rlm@42:     font-weight:normal;
rlm@42: }
rlm@42: .header{background:#0F4D92;border-bottom-color:#AFC4DB
rlm@42: }
rlm@42: 
rlm@42: /*.header h1{text-shadow: #228 0px 0px 2px;}*/
rlm@42: 
rlm@42: 
rlm@42: 
rlm@42: 
rlm@42: 
rlm@42: 
rlm@42: 
rlm@42: 
rlm@42: h1,h2,h3,h4,h5,h6{
rlm@42:     color:#373737;
rlm@42:     font-weight:bolder;
rlm@42: }
rlm@42: 
rlm@42: h1.title{font-weight:normal;font-size:3em;line-height:1em;}
rlm@42: 
rlm@42: body{width:48em;}
rlm@42: img{max-width:48em;}
rlm@42: 
rlm@42: body{text-align:justify;
rlm@42:      font:12px "Lucida Grande","Trebuchet MS","Bitstream Vera Sans",Verdana,Helvetica,sans-serif !important;
rlm@42:      color:#272727;
rlm@42: }
rlm@42: code{
rlm@42:     font-weight:inherit;
rlm@42:     color:#048;
rlm@42:     color:black;
rlm@42:     
rlm@42: }
rlm@42: 
rlm@42: a{color:#00e}
rlm@42: a:visited{color:#551A8B}
rlm@42: 
rlm@42: 
rlm@42: .figure {
rlm@42:     background:#ddd;
rlm@42:     border:1px solid #ccc;
rlm@42:     font-size:.90em;
rlm@42:     line-height:1.666em;
rlm@42:     padding:1.5em!important;
rlm@42:     text-align:left!important;
rlm@42:     margin-bottom:1.666em;
rlm@42: }
rlm@42: 
rlm@42: .outline-2{
rlm@42:     margin:3em 0!important;
rlm@42: }
rlm@42: 
rlm@42: 
rlm@42: body{padding-top:9em;padding-left:3em;}
rlm@42: .header{
rlm@42:     padding-left:3!important;
rlm@42: }
rlm@42: .header h1, .header h1 em {
rlm@42:     text-shadow:none;
rlm@42:     font-size:1.5em!important;
rlm@42: }
rlm@42: /*
rlm@42: 
rlm@42: .header {
rlm@42:     background:transparent;
rlm@42:     padding-left:3em!important;
rlm@42:     border-bottom:none;
rlm@42:     color:inherit!important;
rlm@42:     background:#dde8ff;
rlm@42:     border-bottom:1px solid #c3d9ff;
rlm@42: }
rlm@42: .header h1, .header h1 em {
rlm@42:     text-shadow:none;
rlm@42:     color:#06c;
rlm@42:  
rlm@42:     font-family:"Georgia Serif", Times, Palatino, "Times New Roman", serif;
rlm@42: }
rlm@42: .header li a {
rlm@42:     color:inherit!important;
rlm@42:     text-decoration:underline;
rlm@42: }
rlm@42: 
rlm@42: #text-table-of-contents a {
rlm@42:   
rlm@42: }