/*
headings: 156, 0 0 --> #9c0000
purple: 115, 68, 222 --> #7344de
blue: 65, 68, 222 --> #4144de
body background: 189, 186, 189 --> #bdbabd
body centre: 222,222,222 --> #dedede
menu & top heading background: 205,206,205 --> #cdcecd
hover link colour: 65,137,255 --> #4189ff
hover bg colour:   238,238,238 --> #eeeeee
*/

body {
 font-size:        1em;
 color:            #000000; 
 background-color: #bdbabd;
 margin-top:       0px;
 margin-left:      0px;
 margin-width:     0px;
 margin-height:    0px;
}

body, td {
 font-family: Helvetica, sans-serif;
}

.larger { font-size: 1.3em; }
.smaller { font-size: 0.50em; }

.endbar {
 font-size:        0.70em; 
 font-weight:      bold;
 color:            #7344de;
 background-color: #cdcecd;
 padding-top:       0.40em;
 padding-bottom:    0.40em;
}
.endbar a { 
 color:            #4144de;
 text-decoration:  none;
}
.endbar a:hover {
	color:            #4189ff;
	background-color: #eeeeee;
}

h1,h2 {
 font-weight:   normal;
 color:         #9c0000;
}

h1 { font-size: 1.2em; }
h2 { 
 font-size:  1.0em; 
 margin-top: 1.8em;
}

.main {
 font-size:        0.85em;
 background-color: #dedede;
 border:           #000000 thin dashed;
 padding:          10px;
}
dt {
 color: #7344de;
 font-weight: bold;
}
dd {
 margin-left:   1.3em;
 margin-bottom: 1.0em;
}

code, pre {
 color: #733031;
}

.nav {
 color:            #733031;
 background-color: #cdcecd;
 padding-top:      1.3em;
}
.nav a {
 display: block;
 width:   100%;
 color:   #7344de;
 text-decoration: none;
}
.nav a:hover {
 color:            #4189ff;
 background-color: #eeeeee;
}

td.verthead {
  font-weight: bold;
  padding-top: 0.9em;
}


.contents {
	padding: 0.5em 1.0em 0.3em 0.8em;
}
.contents a {
 color:            #4144de;
 font-weight:      bold;
 text-decoration:  none;
}
.contents a:hover {
 color:            #4189ff;
 background-color: #eeeeee;
}