pre {
	background:	#DDDDDD;
	color:		#000000;
}

div.content {
	background-color: white;
	padding:          10px;
	width:            600px;
	border:           1px solid #DFDFDF;
	text-align:       justify;
	margin:           0 auto;
    /*top:              20px;
    left:             209px;*/
}

div.toc {
	/*background-color: #f0f0f0;
	padding-left:     5px;
    top:              20px;
    left:             20px;;
	width:		      180px;
    position:         fixed;
    text-align:       left;
    height:           80%;
	border:           1px solid #DFDFDF;*/
	padding-left:     20px;
}

.bold {
	font-weight:      bold;
}

.italic {
	font-style: italic;
}

.sup {
    font-size: smaller;
    vertical-align: baseline;
    position: relative;
    bottom: 0.33em;
}

.sub {
    font-size: smaller;
    vertical-align: baseline;
    position: relative;
    bottom: -0.25em;
}

.link {
	text-align:       left;
}

.red_bold {
	background: #DDDDDD;
    color: #800000;
    background-color: white;
	font-weight:      bold;
}

.green_bold {
	background: #DDDDDD;
    color: #008000;
    background-color: white;
	font-weight:      bold;
}

.yellow_bold {
	background: #DDDDDD;
    color: #AAAA00;
    background-color: white;
	font-weight:      bold;
}

.blue_bold {
	background: #DDDDDD;
    color: blue;
    background-color: white;
	font-weight:      bold;
}

.magenta_bold {
	background: #DDDDDD;
    color: #800080;
    background-color: white;
	font-weight:      bold;
}

.cyan_bold {
	background: #DDDDDD;
    color: #000080;
    background-color: white;
	font-weight:      bold;
}

.white_bold {
    color: #FFFFFF;
    background-color: white;
	font-weight:      bold;
	background: #DDDDDD;
}

.black_bold {
    color: #000000;
    background-color: white;
	font-weight:      bold;
	background: #DDDDDD;
}

.red {
	background: #DDDDDD;
    color: #800000;
    background-color: white;
}

.green{
	background: #DDDDDD;
    color: #008000;
    background-color: white;
}

.yellow {
	background: #DDDDDD;
    color: #AAAA00;
    background-color: white;
}

.blue {
    color: blue;
    background-color: white;
	background: #DDDDDD;
}

.magenta {
	background: #DDDDDD;
    color: #800080;
    background-color: white;
}

.cyan {
	background: #DDDDDD;
    color: #000080;
    background-color: white;
}

.white {
	background: #DDDDDD;
    color: #FFFFFF;
    background-color: white;
}

.black {
	background: #DDDDDD;
    color: #000000;
    background-color: white;
}

.formula {
	text-align:     center;
	font-weight:    bold;
	margin-bottom:  2em;
	padding-left:   .5em;
	padding-right:  .5em;
	padding-top:    .5em;
	padding-bottom: .7em;
	border:         1px dashed #0060c0;
	background:     #f0f0f0;
}

body {
	font-family:      Verdana, Arial, Sans-Serif;
	font-size:        10pt;
	color:            #333000;
	background-color: #efefef;
}

#navlist dt {
	padding: 0.25em;
	overflow: hidden;
}

#navlist dd {
	padding: 0.10em;
}

h1 {
	font-family:      Verdana, Arial, Sans-Serif;
	font-size:        14pt;
	color:            #0060c0;
	font-weight:      bold;
	border-top:       1px solid grey;
	padding-top:      1em;
	text-align:       center;
}

h1 [class="toc"] {
	border-top:       0;
}

h2 {
	font-family:      Verdana, Arial, Sans-Serif;
	font-size:        12pt;
	color:            #0060c0;
	font-weight:      bold;
	border-top:       1px solid grey;
	padding-top:      .4em;
}

h3 {
	font-family:      Verdana, Arial, Sans-Serif;
	font-size:        12pt;
	color:            #0060c0;
	font-weight:      bold;
}

h4 {
	font-family:      Verdana, Arial, Sans-Serif;
	font-size:        12pt;
	color:            #0060c0;
	font-weight:      bold;
}

h5 {
	font-family:      Verdana, Arial, Sans-Serif;
	font-size:        12pt;
	color:            #000000;
	font-weight:      bold;
}

a {
	color: #0060c0;
	text-decoration: none;
}

a:hover {
	color: #f09030;
	   text-decoration: none;
}

.code {
	font-family:      courier, fixed, monospace;
	font-size:        11pt;
	color:            #000055;
	margin:           20px;
}

.center {
	text-align: center;
}

.todo {
	color: red;
}

.navigation {
	font-family:      sans-serif, Verdana, Arial, Helvetica;
	font-size:        10pt;
	color:            #000000;
	background-color: transparent;
	margin:           10px;
	text-align:       right;
}

img {
	border: 0px;
}

th {
	/*text-align: center;*/
	font-size:  12px;
	background: #e0e0e0;
	border:    	1px solid #0060c0;
	padding-right:  1em;
}

th.extra {
	/*text-align: center;*/
	padding-right:  1em;
}

td {
	font-size: 12px;
}

tr {
	text-align: left;
}

.gray {
	font-size:  12px;
	background: #e0e0e0;
	border:    	1px solid #0060c0;
	padding-right:  1em;
	font-weight: bold;
}

.blue {
	border:         1px solid #0060c0;
	background:     #e0e0FF;
	vertical-align: center;
	text-align:     center;
}


.time {
	border:         none;
	background:     #efefef;
	padding:        .2em;
	padding-left:   .7em;
	padding-right:  .7em;
}