/*body { color: white; background: #093F99; }*/
body { 	color: white;
	background: #093F99 url('/back.png') fixed;
	font-family: sans-serif;
}

/*a { color: #006699; }*/
a {
	color: #F93;
	font-weight: bold;
	text-decoration: none;
}

a:hover { text-decoration: underline; }

/* Cancel out font styles on named-only href's */
a.ref { color: white;
	font-weight: normal;
	text-decoration: none;
}

.date { color: white;
	text-align: right;
	background: #325F99; /*url(high.png) fixed;*/
	font-weight: bold;
}

.copy { font-size: small; }

.noindent { text-indent: 0em; }

.blink { text-decoration: blink; }

h1, h2 {
	font-family: sans-serif;
	text-align: center;
	font-weight: bold;
}

h3, h4, h5, h6 {
	font-family: sans-serif;
	text-align: left;
	font-weight: bold;
}

/* h1 {
	font-size: xx-large;
}

h2 {
	font-size: x-large;
} */

/* Wanna replace h? and add alignment information */
.title {
	font-family: sans-serif;
	text-align: center;
	font-weight: bold;
	font-size: xx-large;
}

.subtitle {
	font-family: sans-serif;
	text-align: center;
	font-weight: bold;
	font-size: x-large;
}

.heading {
	font-family: sans-serif;
	text-align: left;
	font-weight: bold;
	font-size: large;
}

.subheading {
	font-family: sans-serif;
	text-align: left;
	font-weight: bold;
	font-size: medium;
}

.menutitle {
	font-family: sans-serif;
	text-align: left;
	font-weight: bold;
	font-size: medium;
}

.main {
	position: absolute;
	left: 9em;
	right: 1em;
	top: 1em;
}

.toc {	
	top: 1em;
	left: 0;
	left: auto;
	position: fixed;
	/*background: blue url(../back.png) fixed;*/
}

.plain {
	position: absolute;
	left: 1em;
	right: 1em;
	top: 1em;
}

/* Menu styles */
/*ul.index { padding: 0; }
ul li.index {	list-style-type: none;
		position: relative;
		margin: 0;
		padding: 0;
		font-family: tahoma, arial, helvetica, sans-serif;
}*/
.index {
	font-family: sans-serif;
}

/* For code markup */
.comment { color: yellow; }
.dec { color: red; }
.keyword { color: #FFC0CB; }
.punc { color: red; }