html 
{
height: 100%;
margin-bottom: 1px;
}

form 
{
margin: 0;
padding: 0;
}

body	
{
margin: 0px 0px 0px 0px;
height: 100%;
font-size: 67%;
font-family : Verdana,Arial,sans-serif;
}

p 
{
font-size : 1.3em;
}

.header
{
background : gray;
height : 50px;
padding : 15px;
font-size : 1.6em;
color : white;
border-bottom : black solid 1px;
}

#footer
{
background : gray;
height : 30px;
border-top : black solid 1px;
color : white;
text-align : center;
padding :5px;
margin-top : 10px;
}

#middle
{
height : 500px;
padding : 15px;
}

.string
{
color : green;
}

.constant
{
color : blue;
}

.redEmphasis
{
color : red;
}

.number
{
color : orange;
}

.description
{
border-bottom : silver 1px solid;
margin-bottom : 10px;
padding : 10px;
background : #f5f5f5;
font-size : 1.1em;
}