/*
     FILE ARCHIVED ON 4:17:36 Jul 26, 2011 AND RETRIEVED FROM THE
     INTERNET ARCHIVE ON 17:35:31 Aug 21, 2013.
     JAVASCRIPT APPENDED BY WAYBACK MACHINE, COPYRIGHT INTERNET ARCHIVE.

     ALL OTHER CONTENT MAY ALSO BE PROTECTED BY COPYRIGHT (17 U.S.C.
     SECTION 108(a)(3)).
*/
body,  td {
    font-family : Verdana, Arial, sans-serif;
    font-size : 9pt;
    line-height : 150%;
    margin: 5%;
    white-space: normal;
}

 h1 {
	MARGIN-TOP: 50px; 
	FONT-WEIGHT: normal; 
	FONT-SIZE: 20pt; 
	COLOR: #f1af00; 
	FONT-FAMILY: ARIAL; 
	WHITE-SPACE: nowrap; 
    TEXT-ALIGN: center;
    text-decoration : none;
    height : auto;
    padding-bottom : 0;
    line-height : 150%;
}

 h2 {
    text-decoration : none;
    font-weight : bolder;
    font-size : large;
    height : auto;
    padding-bottom : 0;
    line-height : 125%;
}

 h3 {
    text-decoration : none;
    font-weight : bolder;
    font-size : medium;
    height : auto;
    padding-bottom : 0px;
}

h5 {
	FONT-SIZE: 8pt; 
	color: #AFCD50;
	font-weight : bolder;
    text-decoration : none;
    font-weight : bolder;
	text-transform: uppercase;
    height : auto;
    padding-bottom : 0px;
}

a:hover {
    background-color : aqua;
    color : black;
}

th {
    text-align: left;
	background: #CAE8EA;
	font-weight : bold;
    text-decoration : none;
}

.abstract {
    color: black;
    font-weight: bold;
    font-style: italic;
}

.assumption {
    color: black;
    background: transparent;
    font-variant: normal;
    font-style: italic;
}

.bold {
    font-weight: bold;
}

.declaration {
    color: black;
    background: transparent;
    font-variant: small-caps;
}

.definition {
    color: black;
    background: transparent;
    font-variant: small-caps;
}

.explanation {
    color: black;
    background: transparent;
}

.placeholder {
    font-weight: bold;
}

/* 
This centers the index page
*/

table.center {
    width:70%;
    margin-right:15%;
    margin-left:15%;
} 

      
/*

Formatting used:

programs are on a pink background with normal text and no border;
commands are on a grey background with bold text and a border;
templates for commands are on a light yellow background with a border;
responses are on a blue background with normal text and a border.

All of this is pleasant to view on both the screen and on paper.

*/

.program {
    color: black;
    font-family:"Courier New", Courier, monospace;
    font-weight:normal;
    border: none;
    background-color: #FFCCFF; /* light pink */
}

.command {
    color: black;
    font-family: "Courier New", Courier, monospace;
    font-weight: normal;
    border: thin solid black;
    background-color: silver;
    display : block;
}

.template {
    color: black;
    font-family: "Courier New", Courier, monospace;
    font-weight: normal;
    border: thin solid black;
    background-color: #FFFF66; /* light yellow */
}

.response {
    color: black;
    font-family:"Courier New", Courier, monospace;
    border: thin solid #000000;
    background-color: #E0FFFF;
    font-weight:normal;
}

/*
  Style definitions specific to the UIG banner on the top of each page.
*/

.banner-title {
    margin-top: 50px;
    font-weight: normal;
    font-size: 18pt;
    color: #f1af00;
    font-family: arial;
    white-space: nowrap;
    text-align: center;
}

table.banner-table {
    border-top-width: 0px;
    border-left-width: 0px;
    border-bottom-width: 0px;
    margin: 0px;
    width: 90%;
    border-right-width: 0px;
}

td.banner-spacer-dark {
    background: #344998;
    height: 5px;
}

td.banner-spacer-light {
    background: white;
    height: 5px;
}
         
td.banner-spacer-light-large {
    background: white;
    height: 50px;
}

.header_table {
    border: 1px solid grey;
    text-align: center;
    float: right;
}

.header_table_index {
    border: 1px solid grey;
    text-align: center;
    margin: 0px auto;
}


.header_table td {
    padding-left: 5px;
    padding-right: 5px;
}

.header_table_index td {
    padding-left: 5px;
    padding-right: 5px;
    padding-top: 5px;
    padding-botton: 5px;
}


.header_table th {
    text-align: center;
    padding-left: 5px;
    padding-right: 5px;
}

.header_table_index th {
    text-align: center;
    padding-left: 5px;
    padding-right: 5px;
    font-size: 12pt;
}


.header_img {
    border-width: 0px;
}

.header_table tr {
    height: 19px;
}