@import url(default.css);


/* general */

.fullwidth {width: 100%}

.first_one {padding-top:    3pt}/* if not h1 */
.before_h1 {margin-bottom: 36pt}
.before_h2 {margin-bottom: 12pt}

.atop    {vertical-align: top}
.acenter {vertical-align: middle}
.abottom {vertical-align: bottom}
.jleft   {text-align:     left}
.jcenter {text-align:     center}
.jright  {text-align:     right}
.pright  {float:          right}

.tiny {font-size: 8pt}
.fdimmed {color: #999}
.flegend {color: #79f}
.smallcaps {font-variant: small-caps}

.caption {
   text-shadow: none;
   color:       #79f;
   font-size:   10pt;/* small */
}


/* structure */

p#header {/* only in _prologue.php */
   width:                      472pt;/* content width */
   margin-bottom:              1pt;
   border-bottom-left-radius:  6pt;
   border-bottom-right-radius: 6pt;
   padding:                    3pt 8pt 3pt 8pt;
   color:                      #444;
   background-color:           #fff;
}
span#section {color: #0a1}/* only in _prologue.php */

div#content {
   width:                   472pt;
   border-top-left-radius:  6pt;
   border-top-right-radius: 6pt;
   padding:                 8pt 8pt 0 8pt;
   text-shadow:             white 1px 1px 1px;
   background-color:        #f0f0f0;
}

div#navigation {/* only in _navigation.php */
   position:    fixed;
   top:         32pt; /* manually adjusted  */
   margin-left: 484pt;/* content width + 12 */
   text-shadow: none;
}
div#navigation ul {
   margin-left:     0;
   list-style-type: none;
   color:           #777;
}
div#navigation ul li.spacebelow {margin-bottom: 8pt}
div#navigation ul li a {
   text-decoration: none;
   color:           #0b0;
}
div#navigation ul li a:hover,
div#navigation ul li a:active {
   background: #fff;
   color:      #222;
}


/* titles */

h1.period {
   width:         120pt;
   border-left:   1px solid #555;
   border-top-left-radius:     0;
   border-bottom-left-radius:  0;
}


/* links */

a.file:link, a.file:visited {text-decoration: none}


/* equations */

img.equation {
   display: block;
   margin:  4pt auto 4pt auto;
}


/* footer (only for _footer.php) */

p#footer {margin-top: 18pt}

a.invisible:link, a.invisible:visited {
   text-shadow: none;
   color:       #f0f0f0;/* content background color */
}
a.invisible:hover, a.invisible:active {
   text-shadow: none;
   color:       #999;/* fdimmed */
}