body {
	margin:20px 20px 20px 20px;
	background:#FFFFFF;
}

a.tutorial          { color: navy; text-decoration: none; font-weight:bold }
a.tutorial:link     { color: navy; text-decoration: none; font-weight:bold }
a.tutorial:visited  { color: #05699F; text-decoration: none; font-weight:bold }
a.tutorial:active   { color: #05699F }
a.tutorial:hover    { color: #05699F }
			 
h1 {
	font-family: verdana, arial, sans-serif;
	font-size:   23px;
	color:       #000000
	}

h2 {
	font-family: verdana, arial, sans-serif;
	font-size:   20px;
     font-weight: bold;
	color:       #800000
	}

h3 {
	font-family: verdana, arial, sans-serif;
	font-size:   20px;
	color:       #000000
	}

td {
	font-family: verdana, arial, sans-serif;
	font-size:   17px;
	color:       #333;
	line-height: 21px;
	}

p {
	font-family: verdana, arial, sans-serif;
	font-size:   17px;
	color:       #333;
	line-height: 21px;
	}

pre {
	font-family:      courier, geneva, verdana, arial, sans-serif;
	font-size:        15px;
	color:            #333;
	line-height:      21px;
	background-color: #EEE;
	border:           1px solid #aaa;
	padding:          2px;
	margin-left:      30px;
	margin-right:     75px;
	}
	
ol { 
	color:       #333; 
	font-family: verdana, helvetica, sans-serif; 
	font-size:   17px; 
	line-height: 20px;  }
	
ul { 
	color:       #333; 
	font-family: verdana, helvetica, sans-serif; 
	font-size:   17px; 
	list-style:  url(box.gif) circle; 
	line-height: 20px;  }

li { 
	font-family:   verdana, helvetica, sans-serif;
	color:         #333; 
	font-size:     17px; 
	margin-left:   0px; 
	margin-right:  0px; 
	margin-top:    6px; 
	margin-bottom: 0px;
	line-height:   20px;
	}
	
span.copyright {
	font-family:   verdana, arial, sans-serif;
	font-size:     16px;
	color:         #333;
	line-height:   21px;
	}

.highlight {
	color:       #800000
	}

.small {
	font-size:     17px;
	}

.button {
	FONT-SIZE        : 15pt; COLOR: black;
	FONT-FAMILY      : Arial, Helvetica, sans-serif;
	BACKGROUND-COLOR : #dddddd
}

.switcher_small {
	PADDING-RIGHT: 6px;
	PADDING-LEFT: 6px;
	FONT-SIZE: 9px;
	PADDING-BOTTOM: 6px;
	PADDING-TOP: 4px
}
.switcher_normal {
	PADDING-RIGHT: 6px;
	PADDING-LEFT: 5px;
	FONT-SIZE: 11px;
	PADDING-BOTTOM: 4px;
	PADDING-TOP: 3px
}
.switcher_large {
	PADDING-RIGHT: 6px;
	PADDING-LEFT: 5px;
	FONT-SIZE: 12px;
	PADDING-BOTTOM: 4px;
	PADDING-TOP: 2px
}
.switcher_xlarge {
	PADDING-RIGHT: 8px;
	PADDING-LEFT: 4px;
	FONT-SIZE: 14px;
	PADDING-BOTTOM: 4px;
	PADDING-TOP: 0px
}