A:link {color: blue}         /* unvisited */
A:visited {color: #800080}   /* visited */
A:hover {color: lime}        /* active */

BODY {
  color: black;
  background: #c0c0c0;
  font-family: Verdana, Arial, Helvetica, sans-serif;
  text-align: justify;
  margin-right: 10%;
  margin-left: 10%;
}

/* Define the page header section */
DIV {margin-left: 10%; margin-right: 10%}

/* Define how the horizontal line is displayed */
HR {color: darkblue}

MENU {text-align: left}
/* Define the 'Table of Contents' CLASS H1.toc */
H1.toc {font-size: large; font-weight: bold}

/* all elements with CLASS p.application */
p.application {color: darkblue; font-size: xx-large; font-weight: bold; text-align: center}

/* Define the Heading styles */
H1 {color: darkblue; font-size: large}
H2 {color: darkblue; font-size: medium}
H3 {font-size: small}

/* Define the Definition styles */
DL {font-family: Courier}
DT {font-weight: bold}

/* Table style definitions */
THEAD {text-align: center}
TD {vertical-align: top}

OL {
 margin: 12px 12px 12px 12px;
 padding: 3px 3px 3px 3px;
}

UL {
 margin: 12px 12px 12px 12px;
 padding: 3px 3px 3px 3px;
}

LI {
 margin: 12px 12px 12px 12px;
 padding: 2px 24px  2px 12px;
}