a:link
{
text-decoration: underline;
color: blue;
opacity: 1;
filter: alpha(opacity=100);
}
a:visited, a:active
{
text-decoration: none;
color: blue;
opacity: 1;
filter: alpha(opacity=100);
}
a:hover
{
text-decoration: none;
color: blue;
opacity: 0.6;
filter: alpha(opacity=60);
}
h1
{
font-size: 21pt;
}
h2
{
font-size: 18pt;
}
p span, li span
{
color: red;
font-weight: bold;
}
p tt, li tt, ul tt, ol tt
{
background-color: #FFDDEE;
}
.midpic
{
display: block;
margin: 0 auto;
}
pre
{
padding-left: 5em;
}
.codeback
{
background-color: #FFC;
}
.tabindent
{
padding-left: 2em;
}
.codename
{
text-align: right;
color: #666;
font-weight: bold;
font-size: 10pt;
padding-right: 1em;
padding-top: 0.5em;
}
.backtop
{
text-align: center;
color: #666;
font-size: 10pt;
text-decoration: underline;
}
.offhome
{
position: fixed;
top: 5px;
right: 5px;
text-align: right;
color: #141;
font-size: 10pt;
padding: 5px;
border: 2px solid black;
background-color: #EEEEFF;
}
.offhome a
{
color: #141;
}
#footer
{
position: fixed;
bottom: 0px;
width: 100%;
color: #444;
font-size: 9pt;
background-color: #EEEEFF;
padding: 5px;
}
#mod
{
/* border: 1px solid red;*/
float: left;
width: 49%;
text-align: left;
}
#contact
{
/* border: 1px solid blue;*/
float: left;
width: 49%;
text-align: right;
}
#contact a
{
color: #444;
cursor: pointer;
}
#add
{
padding-top: 10pt;
padding-bottom: 10pt;
/* background-color: #EEEEFF;*/
}
.indexlist
{
font-size: 14pt;
}
.indexlist li
{
padding-top: 3px;
padding-bottom: 3px;
}
#date
{
margin-bottom: 5px;
}
#cores span
{
font-weight: bold;
}
#nodes
{
text-align: center;
border: 3px solid black;
border-collapse: collapse;
margin: 8px 0px;
width: 50%;
cursor: default;
}
#nodes td
{
border: 2px solid #555555;
padding: 2px 0px;
}
[tooltip]:before
{
position: absolute;
content: attr(tooltip);
opacity: 0;
background-color: #EEEEFF;
border: 2px solid black;
font-weight: normal;
font-size: 10pt;
color: #141;
padding: 5px;
margin-top: -5px;
left: 51%;
width: 20%;
}
[tooltip]:hover:before
{
opacity: 1;
}
.upnode
{
background-color: #77FF77;
}
.downnode
{
background-color: #FF7777;
}
.allocnode
{
background-color: #BBBBBB;
}
.tableheader
{
background-color: #EEEEFF;
}
.tableheader th
{
border: 2px solid black;
}