BODY {
	font-size:        10px;
	background-color: #FFFFFF;
    color:            #000000;
    font-family:      arial, helvetica, sans-serif;
    font-size:        76%;
    font-style:       normal;
    font-weight:      normal;
    margin:           0;
}

H1 {
	font-size:        12pt;
	padding:          0;
	margin:           0;
}

#content {
    margin-left:  200px;
    margin-right: 15px;
}

#header {
    background-color: #EAEAEA;
    border-bottom:    solid 1px #505050;
    color:            #505050;
    font-family:      arial, helvetica, sans-serif;
    font-size:        2.0em;
    letter-spacing:   0.03em;
    margin:           0 0 15px 0;
    padding:          10px 0 10px 15px;
}

#footer {
	margin-top:   20px;
    margin-left:  200px;
    margin-right: 15px;
}

#menu {
	font-size:        10px;
    border:           solid 1px #505050;
    float:            left;
    margin-left:      15px;
    width:            160px;
}

#menu a {
    background-color: #EAEAEA;
    color:            #000000;
    display:          block;
    padding:          5px 0 5px 10px;
    text-decoration:  none;
}

#menu a:hover {
    background-color: #505050;
    color:            #FFFFFF;
}

#menu h3 {
    background-color: #750000;
    color:            #FFFFFF;
    font-size:        1.3em;
    margin:           0;
    padding:          5px 0 5px 10px;
}

#menu li {
    background-color: #909090;
    height:           1%;
    list-style-type:  none;
    margin:           0;
    padding:          0;
}

#menu ul {
    margin:  0;
    padding: 0;
}

#title {
    border-bottom:  solid 1px #373737;
    color:          #373737;
    font-size:      2.0em;
    letter-spacing: 0.03em;
    margin-bottom:  15px;
}

/* IE Windows hack */

* html #content {
    margin-left: 197px;
}

* html #menu {
    margin-left: 8px;
}

* html #menu li {
    margin-bottom: -5px;
}

.subsection {
	font-family: h2;
	text-decoration: underline;
	margin: 3px;
}

pre.code {
	font-family: monospace, sans-serif, Script;
	font-size: 14px;
	background-color: #CCCCCC;
	border: solid #000000;
	border-width: 1px;
	width: auto;
	margin-left: 20px;
	padding: 10px;
}

.hilight {
	color: #FF0000;
}