html{
font-family:arial;
}

p {
line-height: 150%;
font-size:90%;
margin:7;
}

psmall { /*for what is written at the very bottom of the page*/
line-height: 150%;
font-size:70%;
margin:7;
}

h1{
font-family:Courrier New;
font-size:220%;
font-weight:normal;
margin-bottom:0;
margin:7;
}

h2{
font-family:Courrier New;
font-size:175%;
font-weight:normal;
margin-bottom:0;
margin:7;
}

h3{
font-family:Courrier New;
font-size:150%;
font-weight:normal;
margin-bottom:0;
margin:7;
}

h4{
margin-bottom:0;
margin:7;
}

h5{
margin-bottom:0;
margin:7;
}

subtext-italic{ /*used to display subtext just beneath the main title of the article*/
margin: 7;
font-size: 120%;
font-family:Courrier New;
font-style: italic;
}

/*Links*/
a:link {text-decoration: none; color: 	#0645AD;}a:visited {text-decoration: none; color: #0B0080}
a:hover {text-decoration: underline;}a:active {text-decoration: underline;}

/*Images and image links*/
img{
border: thin solid gray;
}

a:link img, a:vlink img a:alink img{
border: thin solid gray;
}

column-link{ /*the links in the column on the left*/
line-height: 160%;
font-size: 90%;
}

hr { /*new <hr> tag with, hopefully, no deprecated code. Used to separate title from the rest*/
    border: none;
    height: 1px;
    background-color: gray;
	margin: 7;
}

/*classes for the table on the right, also used for the table of contents*/
.tableontheright
{
font-size:90%;
background-color:#F6F6F6;
border: 1px solid #a9a9a9;
margin-left:7;
margin-right:15;
}
.tableontheright td, .tableontheright th
{
font-size:90%;
background-color:#F6F6F6;
}

/*classes for the tables casually used in articles' sections*/
.tablegeneral, .tablegeneral td, .tablegeneral th
{
font-size:90%;
background-color:#F6F6F6;
border-collapse:collapse;
margin:7;
}

/*classes for tables in which pictures are found*/
.tablepic
{
font-size:90%;
background-color:#F6F6F6;
border: 1px solid #a9a9a9;
margin-left:7;
margin-right:7;
border-color:gray;
}
.tablepic td, .tablepic th
{
font-size:90%;
background-color:#F6F6F6;
margin-left:7;
margin-right:7;
border-color:gray;
}

/*div and <ul> classes for table of contents*/
/*ulcontents1, 2, 3 for different margins*/
.divcontents
{
border: 1px solid #a9a9a9;
width: 200;
background-color: #F6F6F6;
text-align: left;
margin-right: 7px;
margin-left: 7px;
padding-top: 5px;
padding-left: 15px;
padding-bottom: 7px;
font-size: 80%;
line-height:200%;
}
.ulcontents1
{
list-style-type: none;
padding:0; margin:0;
}
.ulcontents2
{
list-style-type: none;
padding-left:20; margin:0;
}
.ulcontents3
{
list-style-type: none;
padding:40; margin:0;
}
tht{/*<th> for the word "contents" in bold in the divcontents*/
font-size:90%;
font-weight:bold;
margin:0;
}


/*COLUMN ON THE LEFT===================

Everything written from here on is based on code provided on
"http://www.dynamicdrive.com/style/"
*/

body {
  margin: 0;
  padding: 0;
  border: 0;
  overflow: hidden;
  height: 100%;
  max-height: 100%;
}
#framecontent {
  position: absolute;
  top: 0;
  bottom: 0;
  left: 0;
  width: 175px;
  /*Width of frame div*/
  height: 100%;
  overflow: auto;
  /*Disable scrollbars. Set to "scroll" to enable*/
  background: #f6f6f6;
  color: Black;
}
#maincontent {
  position: absolute;
  top: 0;
  left: 175px;
  /*Set left value to WidthOfFrameDiv*/
  right: 0;
  bottom: 0;
  overflow: auto;
  background: linear-gradient(180deg, #E6E6E6, white 10%);
  border-color: lightskyblue;
  border-left-style: solid;
  border-width: 1px;
}
.innertube {
  margin: 15px;
  /*Margins for inner DIV inside each DIV (to provide padding)*/
}
* html body {
  /*IE6 hack*/
  padding: 0 0 0 200px;
  /*Set value to (0 0 0 WidthOfFrameDiv)*/
}
* html #maincontent {
  /*IE6 hack*/
  height: 100%;
  width: 100%;
}