/* General Links  */
a:link, a:hover{
    font-family:Arial, Verdana, Helvetica, Sans-Serif; font-size:9pt; text-decoration:none; color:#4a5780;
}
a:visited{
	font-family:Arial, Verdana, Helvetica, Sans-Serif; font-size:9pt; text-decoration:none; color:#808080;
}
a:hover {
    text-decoration:underline;
}

/* General HTML elements */
body {
    background-color:#ffffff; color:#000000; font-size:9pt; font-family:Helvetica,Verdana,Arial,Sans-Serif; margin-top:0px;
}
h1 {
    font-size:15pt; font-weight:bold; color:#003366;
}
h2 {
    font-size:12pt; font-weight:bold; color:#003366;
}
h3 {
    font-size:9pt; font-weight:bold; color:#003366;
}
h4 {
    font-size:9pt; font-family:cursive; font-weight:bold; color:#003366;
}

/* Specific Table Layouts */
.programlisting {
     width:100%; border-width:1px; border-style:solid; border-color:black; 
}

/* Specific Table Layouts */
.note {
     width:90%; border-width:1px; border-style:solid; border-color:black; horizontal-align:center;
}

/* General Table Layouts */
table {
    font-size:9pt; font-family:Arial,Verdana,Helvetica,Sans-Serif;
}
th {
    background-color:#7c92d4; color:white; padding:2px;
}

p {
	margin-top:0.5em;
	margin-bottom:0.5em;
	text-align:justify;
}

/* Specific Table Layouts */
div.note {
	margin-left:5%;
	margin-right:5%;
    margin-bottom:1.5em;
    margin-top:1.5em;
    width:90%;
    text-align:center;
    border:3px solid #00ff00; 
    background-color:#f0fff0;
}

div.note h3 {
	font-size:120%;
	font-weight:bold;
	text-align:left;
	margin-top:0;
}

div.note p {
	text-align:left;
}

div.caution {
	margin-left:5%;
	margin-right:5%;
	margin-top:1.5em;
    margin-bottom:1.5em;
    width:90%;
    text-align:center;
    border:3px solid #ff0000;
    background-color:#fff0f0;
    padding:3px;
}

div.caution h3 {
	font-size:120%;
	margin-top:0;
	font-weight:bold;
	text-align:left;
}

div.caution p {
	text-align:left;
	margin-top:0.5em;
	margin-bottom:0;
}

.programlisting {
     width:90%; background-color:#f0f0f0; border-width:0px;
     margin-left:5%;
     margin-right:5%;
     padding:2px;
     font-size:9pt;
}

/* Styles for Java Source Listings */
font.java0 {
    font-family: Courier New,monospace,Serif; font-size: 9pt; color:#ff6100;
}
font.java1 {
    font-family: Courier New,monospace,Serif; font-size: 9pt; color:#000000;
}
font.java2 {
    font-family: Courier New,monospace,Serif; font-size: 9pt; color:#7f0055;
}
font.java3 {
    font-family: Courier New,monospace,Serif; font-size: 9pt; color:#3f7f5f;
}
font.java4 {
    font-family: Courier New,monospace,Serif; font-size: 9pt; color:#7f0055;
}
font.java5 {
    font-family: Courier New,monospace,Serif; font-size: 9pt; color:#2a00ff;
}
font.java6 {
    font-family: Courier New,monospace,Serif; font-size: 9pt; color:#3f7f5f;
}
font.java7 {
    font-family: Courier New,monospace,Serif; font-size: 9pt; color:#990000;
}
font.java8 {
    font-family: Courier New,monospace,Serif; font-size: 9pt; color:#000000;
}
font.java9 {
    font-family: Courier New,monospace,Serif; font-size: 9pt; color:#000000;
}
font.java10 {
    font-family: Courier New,monospace,Serif; font-size: 9pt; color:#000000;
}
font.java11 {
    font-family: Courier New,monospace,Serif; font-size: 9pt; color:#3f5fbf;
}
font.java12 {
    font-family: Courier New,monospace,Serif; font-size: 9pt; color:#3f5fbf;
}
font.java13 {
    font-family: Courier New,monospace,Serif; font-size: 9pt; color:#888888;
}
font.java14 {
    font-family: Courier New,monospace,Serif; font-size: 9pt; color:#3f5fbf;
}