h1
{
border: 1px solid black;
padding: 0.2em;
background: #fff0f0;
margin-bottom: 0;
margin-top: 0;
padding-left: 0.5em;
}
h2
{
border: 1px solid gray;
border-bottom: none;
padding: 0.2em;
padding-left: 0.5em;
background: #e0e0f0;
margin-top: 0.8em;
margin-bottom: 0;
}
div.h3
{
border-bottom: 1px solid gray;
padding: 0.2em;
padding-left: 0.1em;
margin-top: 0;
margin-bottom: 0;
font-weight: bold;
font-size: 1.2em;
}
h2.green { background: #e0f0e0; }
h2.coral { background: #e0f0f0; }
h2.purple { background: #f0e0f0; }
h2.orange { background: #fff0d0; }
h2.brown { background: #e0b090; }
h2.lime { background: #e0f090; }
h2.honey { background: #f0f0a0; }
h2.mint { background: #c0ffe0; }
div.footer
{
background: #f0f0f0;
border: 1px solid gray;
padding: 0.6em;
padding-left: 1.6em;
font-size: small;
margin-top: 1em;
margin-bottom: 1em;
font-size: 0.8em;
}
p.hr
{
padding-top: 0.3em;
border: none;
border-top: 1px solid gray;
}
div.right
{
margin-left: 8.2em;
}
div.text
{
border: 1px solid gray;
padding: 0.5em;
padding-left: 1.5em;
background: #e8e8e8;
font-size: 0.9em;
}
.clear { clear: both; }
a.top
{
font-size: 0.8em;
float: right;
position: relative;
top: -2.5em;
right: 0.5em;
color: black;
font-weight: bold;
text-decoration: none;
padding: 0.2em;
}
a.top:hover
{
color: white;
background: black;
padding: 0.2em;
}
.menubck, .menuext, .menucur, .menuadd, .menuind, .menuinc, .menucin
{
display: block;
border: 1px solid gray;
padding: 0.1em;
padding-left: 0.5em;
margin: 0;
margin-bottom: 0.4em;
min-width: 7em;
font-size: 0.75em;
text-decoration: none;
background: #e0e0ff;
color: black;
}
.menuind, .menuinc, .menucin
{
min-width: 6em;
margin-left: 1em;
background: #e0e0ff;
}
.menu
{
background: white;
padding: 0em;
margin: 0;
border: none;
width: 7em;
margin-right: 0.2em;
position: fixed;
}
.menucur, .menucin { border-color: #404040; }
.menucin { background: #a0a0ff; }
.menucur { background: #a0a0ff; }
.menuadd { background: #f0a0a0; }
.menuind { background: #d0d0ff; }
.menubck { background: #f0b0b0; }
:hover
{
color: #ffffff;
background: #000000;
}
.menubck:hover, .menuadd:hover { background: #a03030; }
.menucur:hover { background: #000080; }
.menuind:hover, .menucin:hover { background: #3030a0; }
img.i
{
border: none;
}
img
{
border: 1px solid gray;
margin-top: 0.7em;
margin-bottom: 0.7em;
}
p, li
{
max-width: 50em;
}
p {
padding-bottom: 0;
margin-bottom: 0.4em;
margin-top: 0.4em;
}
ul
{
list-style: square;
}
li
{
font-size: 0.9em;
}
tr.odd td
{
background: #ffdead;
}
code
{
background: #ffffff;
color: black;
padding: 2px;
}
pre
{
background: #d0d0d0;
color: black;
padding: 0.8em;
margin-left: 1em;
margin-bottom: 2.5em;
border: 1px solid black;
max-width: 40em;
}