body, table {
    font-family: verdana, arial, helvetica;
}

.green    { color: #006000; }

.red      { color: #ce0031; }

.blue     { color: #3100ce; }

.white    { color: white; }

table     {
    font-family: verdana, arial, helvetica;
    font-size: 95%;
}

h1        {
    font-family: verdana, arial, helvetica;
    font-size: 140%;
}

h2        {
    font-family: verdana, arial, helvetica;
    font-size: 130%;
}

h3        {
    font-family: verdana, arial, helvetica;
    font-size: 120%;
}

h4        {
    font-family: verdana, arial, helvetica;
    font-size: 110%;
}

.maintitle {
    font-family: verdana, arial, helvetica;
    font-size: 140%;
    color: #ff7070;
}

.title {
    font-family: verdana, arial, helvetica;
    font-weight: bold;
    font-size: 140%;
}

.largest  {
    font-size: 130%;
    font-weight: bold;
    font-family: verdana, arial, helvetica;
}

.larger   {
    font-size: 120%;
    font-weight: bold;
    font-family: verdana, arial, helvetica;
}

.large    {
    font-size: 110%;
    font-family: verdana, arial, helvetica;
}

.normal    {
    font-size: 100%;
    font-family: verdana, arial, helvetica;
}

.small    {
    font-size: 95%;
    font-family: verdana, arial, helvetica;
}

.smaller  {
    font-size: 90%;
    font-family: verdana, arial, helvetica;
}

.smallest {
    font-size: 85%;
    font-family: verdana, arial, helvetica;
}

.tiny {
    font-size: 80%;
    font-family: verdana, arial, helvetica;
}

a         {
    font-weight: bold;
    font-family: verdana, arial, helvetica;
}

a.white:link    {
    color: white;
    text-decoration: none;
}

a.white:visited {
    color: white;
    text-decoration: none;
}

a.white:hover   {
    color: white;
    text-decoration: underline;
}

a.nav:link    {
    color: #ce0031;
    text-decoration: underline;
}

a.nav:visited {
    color: #ce0031;
    text-decoration: underline;
}

a.nav:hover   {
    color: white;
    text-decoration: underline;
}

a:link    {
    color: black;
    text-decoration: underline;
}

a:visited {
    color: black;
    text-decoration: underline;
}

a:hover   {
    color: #ce0031;
    text-decoration: underline;
}

a.hidden    {
    text-decoration: none;
}

a.title     {
    color: white;
    text-decoration: none;
}

a.title:link    {
    color: white;
    text-decoration: none;
}

a.title:visited    {
    color: white;
    text-decoration: none;
}

a.title:hover    {
    color: white;
    text-decoration: underline;
}

a.nodecorate:link    { 
    font-weight: normal;
    color: black;
    text-decoration: none; 
}

a.nodecorate:hover   {
    font-weight: normal;
    color: black;
    text-decoration: none; 
}

a.nodecorate:visited {
    font-weight: normal;
    color: black;
    text-decoration: none; 
}

.tocentry   {
    background-color: #E0E0E0;
}

.selbtn {
    cursor: pointer;
    background-color: blue;
    font-size: 105%;
    font-weight: bold;
    text-align: center;
    color: white;
    width: 40px;
    height: 40px;
}

.gobtn {
    cursor: pointer;
    background-color: green;
    font-size: 105%;
    font-weight: bold;
    text-align: center;
    color: white;
    width: 40px;
    height: 40px;
}

.pctbtn {
    cursor: pointer;
    background-color: #ff00ff;
    font-size: 105%;
    font-weight: bold;
    text-align: center;
    color: white;
    width: 40px;
    height: 40px;
}