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

/*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;
}

.noindent { text-indent: 0em; }

.blink { text-decoration: blink; }

/* tahoma, arial, helvetica */
h1, h2, h3, h4, h5, h6 { font-family: tahoma, arial, helvetica; }

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

.subtitle {
	font-family: tahoma, arial, helvetica;
	text-align: center;
	font-weight: bold;
	font-size: x-large;
}

.heading {
	font-family: tahoma, arial, helvetica;
	text-align: left;
	font-weight: bold;
	font-size: large;
}

.subheading {
	font-family: tahoma, arial, helvetica;
	text-align: left;
	font-weight: bold;
	font-size: medium;
}

.menutitle {
	font-family: tahoma, arial, helvetica;
	text-align: left;
	font-weight: bold;
	font-size: medium;
}

.main {
	position: absolute;
	left: 0;
	right: 0;
	top: 13em;
}

.toc {	
	top: 0;
	left: 0;
	position: absolute;
}

.index {
	font-family: tahoma, arial, helvetica;
}

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