/*
* Style sheet for the HTML 4.0 specification
* Made By Erik Tromp! 29-sept-1999
*
* Example of usage:
*
* Manual -Table of Contents
*
*
*/
BODY {
color: #000;
margin-left: 1.5cm;
margin-top: 0.5cm;
margin-right: 1cm;
font-family: verdana, helvetica, sans-serif;
}
H1, H2, H3, H4, H5, H6 {
text-align: left;
}
H1 {
/* clear: left; */
/* margin-top: 2em; */
text-align: center;
/* color: #6495ed; */
color: #FF0000;
}
H2 {
color: #FF0000;
}
.perfman {
text-align: center;
font-family: monospace;
color: maroon;
font-size: 300%;
}
PRE {
color: maroon;
font-family: monospace;
margin-left: 0.5cm;
font-size: 100%;
}
ADDRESS {
text-align: right;
font-style: italic;
}
IMG {
border: 0;
}
p.error {
width: 100%;
color: red;
background: #fff;
border: solid red;
}
/*
TABLE {
width: 100%;
font-family: helvetica;
color: black;
}
*/
A:link { color: #0000ee }
A:active { color: #ff0000 }
A:visited { color: #551a8b }
.body A, .intro A { text-decoration: none; border-width: 0 }
.body A:link, .intro A:link { border-bottom: 1px dotted #0000ff; color: #000055 }
.body A:visited, .intro A:visited { border-bottom: 1px dotted #0000ff; color: #000044 }
.body A:hover, .intro A:hover { border-bottom: 1px solid #0000ff; color: #0000aa }
A.groupname { text-decoration: none; border-width: 0 }
A.groupname:link { border-bottom: 1px dotted #00ff00; color: #004400 }
A.groupname:visited { border-bottom: 1px dotted #00ff00; color: #004400 }
A.groupname:hover { border-bottom: 1px solid #00ff00; color: #006600 }