/* Text formatting */

body {
    font-family: helvetica, arial, sans-serif;
    margin: 0px;
}

a 
{ 
    text-decoration: none; 
}

form 
{
    display: inline;
    margin-bottom: 0px;
}

hr 
{
    height: 0px;
    border-top: 0px;
    border-left: 0px;
    border-right: 0px;
    border-bottom: 1px black dotted;
    margin-top: 5px;
    margin-top: 5px;
}

code
{
    display: block;
    width: 100%;
    white-space: pre;
    overflow: auto;
    background-color: #eee;
    color: #008;
    border: 1pt solid #e0e0e0;
    padding: 10px;
}

textarea
{
    background-color: white;
    width: 100%;
}

.accesskey 
{
    border-bottom: solid 1pt #888;
}

h1 { 
    font-family: serif;
    font-weight: 400;
    font-size: xx-large;
    line-height: 100%;
    margin-top: 20pt;
    margin-bottom: 20pt;
    text-align: center;
    color: #338;
}

h2 {
    font-family: serif;
    font-style: italic;
    font-weight: 500;
}

h4 {
    font-family: serif;
    font-weight: 400;
    font-size: large;
    color: #440044;
}

h3 {
    font-size: small;
    color: #005500;
    padding-top: 2pt;
    padding-bottom: 2pt;
    padding-left: 4pt;
    padding-right: 4pt;
    margin-top: 10pt;
    margin-bottom: 8pt;
}

/* experimental, maybe not the best way to do this? */

ol li {list-style: decimal;}
ol li ol li {list-style: lower-alpha;}
ol li ol li ol li {list-style: lower-roman;}
ol li ol li ol li ol li {list-style: decimal;}
ol li ol li ol li ol li ol li {list-style: lower-alpha;}
ol li ol li ol li ol li ol li ol li {list-style: lower-roman;}

p, 
ul li, 
ol li, 
dl dt, 
dl dd, 
div,
* td {
    font-size: small;
    line-height: 140%;
}

* input, 
* select,
* select option {
    font-size: small;
}

blockquote, 
blockquote p, 
blockquote li, 
pre, kbd, tt, samp {
    font-family: monospace;
    font-size: small;
    line-height: large;
    color: purple;
}

blockquote, pre {
    border-left: solid 1pt blue;
    margin-left: 25px;
    padding-left: 15px;
}

blockquote small, pre small {
    font-family: helvetica, arial, sans-serif;
    color: gray;
    
}

.greek, g {
    font-family: grenet, spionic, sgreek, courier;
    font-size: 16pt;
    line-height: inherit;
    text-decoration: inherit;
}

i {
    font-style: normal;
    color: gray;
}

em {
    font-style: normal;
    text-transform: uppercase;
}

dfn, cite {
    font-style: normal;
    border-bottom: 1px dashed #00cc00;
    cursor: help;
}

cite {
    font-style: normal;
    border-bottom: 1px dashed #00cc00;
    cursor: help;
}

strong {
    font-weight: 300;
    background-color: yellow;
}

q {
    color: #aa0000;
}

var {
    font-family: grenet, symbol;
    font-style: normal;
    color: #666600;
}

del {
    text-decoration: line-through;
    color: #800;
}

ins {
    text-decoration: none;
    border-bottom: 1pt dotted blue; 
    color: blue;
/*  background-color: blue; */
}


/* PHP code syntax highlighting (from PHP.net) */

div.phpcode span.html {
    color: black;   
}

div.phpcode span.comment {
    color: #FF8000;
}

div.phpcode span.default {
    color: #0000BB;
}

div.phpcode span.keyword {
    color: #007700;
}

div.phpcode span.string {
    color: #DD0000;
}