BODY {
	color: black;
	background-color: white
}

P.break {
	text-align: center;
	font-style: italic
}

.header {
	font-weight: bold
}

A:link {
	color: blue
}

A:visited {
	color: red
}

A:active {
	color: blue
}

A.front:link {
	color: black
}

A.front:visited {
	color: black
}

A.front:active {
	color: white
}

H1 {
	font-family: helvetica, arial, sans-serif;
	text-align: center
}

.author {
	font-family: helvetica, arial, sans-serif;
	text-align: center
}

H2,H3,H4,H5,H6 {
	font-family: helvetica, arial, sans-serif
}

.inlineheading {
	font-family: helvetica, arial, sans-serif;
	font-weight: bold
}

td,tr {
	background-color: #e0e0e0
}

.boxed {
	border: thin solid black
}

.summary {
	background-color: yellow;
	color: black
}

.type {
	font-weight: bold
}

.function {
	font-weight: bold
}

.variable {
	font-weight: bold
}

.constant {
	font-weight: bold
}

.headerfile {
	font-weight: bold
}

.code {
	font-weight: bold
}

.proclaim {
	font-weight: bold
}

.tinytext {
	font-size: 75%
}

kbd {
	font-weight: bold
}

.command {
	font-weight: bold
}

.filename {
	font-style: italic
}

.option {
	font-weight: bold
}

.cite {
	margin-left: 5%;
	margin-right: 5%
}

.jobdbproblem {
	color: blue
}	

.administrivia {
	font-size: smaller
}

.tight {
	margin-top: 0;
	margin-bottom: 0
}

.indented {
       margin-left: 1em
}

div#sidebar {
	margin: 1em;
        position: fixed;
        width: 10em;
        top: 0;
        right: auto;
        left: 0;
}

p.sidebarhead {	
	font-weight: bold;
	margin-bottom: 0
}

p.sidebar {
	margin-top: 0;
	margin-bottom: 0;
	margin-left: 1em
}

a.sidebar {
	text-decoration: none
}

div#content {
        position: absolute;
        width: auto;
        top: 0;
        right: 0;
        left: 10em;
}
        
.module {
	font-weight: bold
}