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
}

table.alternate {
}

table.alternate tr.white td {
	background-color: #ffffff
}

table.alternate tr.grey td {
	background-color: #e0e0e0
}

table.alternate tr td {
	background-color: #ffffff
}


table.alternate th {
	background-color: #00aaaa
}


td,tr {
	background-color: #eeeeee
}

.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-001 {
	font-size: 75%
}

.tinytext-002 {
	font-size: 70%
}

.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: absolute;
        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;
}
        
div#note {
        # position: absolute;
        width: 50em;
        top: 0;
        right: 10em;
        left: 10em;
}
        
.module {
	font-weight: bold
}

.centre {
	text-align: center
}

.left {
	text-align: left
}

.right {
	text-align: right
}

P.date {
	font-weight: bold
}

.padding-001 {
	padding: 1cm 1.5cm
}

div#cite-001 {
	margin-left: 25%;
	margin-right: 25%
}

.cite-001 {
	margin-left: 25%;
	margin-right: 25%
}

.cite-002 {
	margin-left: 15%;
	margin-right: 15%
}

.description-header-001 {
	border: thin solid black;
        padding: 1cm;
	background-color: #eeeeee
}

.description-header-002 {
	border: thin solid black;
        padding: 1cm;
	background-color: #eeeeee;
	margin-left: 15%;
	margin-right: 15%
}

.cssbutton {
	background: #fff;
	padding: 1px;
	font-family: Geneva, Vera, Arial, Helvetica, sans-serif;
	font-size: x-small;
	font-variant : small-caps;
	border : 1px solid #aaa;
}
.buttonleft {
	color: #f8f8f8;
	background: #a42;
	padding: 0px 3px 0px 3px;
}
.buttonright {
	color: #f8f8f8;
	background: #886;
	padding: 0px 20px 0px 3px;
}



#menu {
	background: #FFFFFF;
	width: 46.6em;
	border-right: 10px solid #FFFF00;
	height: 2em;
	padding: 10px 0 0 10px;
}

/* Organize the menu into a horizontal list. */
#menu li {
  float: left;
  font-family: helvetica, arial, sans-serif;
  letter-spacing: 1px;
  list-style-type: none;
  margin-right: 2px;
}

/* Set the colours and spacing for the navigation bar.  Without this the
 * navigation bar is just a stream of text with no special foreground or
 * background colours for the links. */
#menu li a {
  background: #F0F0F0;
  color: #000000;
  padding: 5px 8px;
  display: block;
  line-height: 100%;
  margin-right: 20px;
}

/* Set the colours for the current location.  */
#menu #current{
  color: #CFCFCF;
  background: #FFFFFF; /* white */
}

/* Set the colours when the mouse is hovering ovr a menu item. */
#menu li a:hover, #menu #current:hover{
  background: #000000;
  color: #FFFF00;
}