A:link { color: #0000FF }
A:hover { color: #CC0000 }
A:visited { color: #800080 }
A:active { color: #FF0000 }

BODY {
	color: #000000;
	background: #FFFFFF;
	background-image: url(../parchment.jpg);
	margin-left: 5%;
	margin-right: 5%;
	text-align: justify;
}
BODY, P, TD, TH, OL, UL {
	font-family: "Comic Sans MS", Verdana, Arial, Helvetica, sans-serif;
	font-size: medium;
	font-weight: normal;
}
BLOCKQUOTE, Q {
	font-family: Arial, Helvetica, sans-serif;
}
BLOCKQUOTE P {
	font-family: Arial, Helvetica, sans-serif;
}
BLOCKQUOTE {
	margin-left: 2em;
	margin-right: 2em;
	background: #ddd;
	font-weight: normal;
}
CODE {
	font-family: monospace;
	font-size: 95%;
	font-weight: bold;
	color: green;
	text-transform: none;
}
BODY DL DT, BODY DL DD {
	font-family: "Comic Sans MS", Verdana, Arial, Helvetica, sans-serif;
	font-size: medium;
	font-weight: normal;
	margin-bottom: 0em;
}
BODY DL DT {
	margin-top: 1em;
	margin-bottom: 1em;
	font-size: 105%;
	font-weight: bold;
}
BODY DL DD {
	margin-left: 1.5em;
}
DL.contents DT, DL.contents DD {
	font-family: Verdana, Helvetica, sans-serif;
	font-size: 75%;
	font-weight: normal;
}
DL.contents DL DT {
	font-size: 100%; 
}
DL.contents DT {
	font-weight: normal;
	margin-top: 0.5em;
	margin-bottom: 0em;
}
DL.contents DL DT {
	margin-top: 0em;
}
DL.contents DD, DL.contents DL {
	margin-left: 1.5em;
}
EM {
	font-style: italic;
}
H1 {
	font-size: 130%;
	font-weight: bold;
	font-style: normal;
	margin-bottom: 1em;
}
H1.header {
	font-size: 150%;
	font-weight: bold;
	font-style: normal;
	text-align: center;
	text-decoration: underline;
	margin-bottom: 0pt
}
H1.subheader {
	font-size: 95%;
	font-weight: normal;
	font-style: normal;
	text-align: center;
	margin-top: 5pt;
	margin-bottom: 0pt
}
H2 {
	font-size: 120%;
	font-weight: bold;
	font-style: normal;
	margin-bottom: 1em;
}
H3 {
	font-size: 115%;
	font-weight: bold;
	font-style: normal;
	margin-bottom: 1em;
}
H4 {
	font-size: 110%;
	font-weight: normal;
}
H5 {
	font-size: 105%;
	font-weight: bold;
}
H6 {
	font-size: 100%;
	font-weight: bold;
  margin: 0pt;
}
HR {
	width: 100%;
	margin-left: 0pt;
	margin-right: 0pt;
}
HR.half {
	width: 50%;
	text-align: center;
  margin-left: auto;
  margin-right: auto;
	border-style: dotted;
	border-color: black;
}
LI {
	margin-top: 1em;
	margin-bottom: 1em;
}
.compress LI, .compress P {
	margin-top: 0pt;
	margin-bottom: 0pt;
	font-weight: normal;
}
#menu {
	float:right;
	border:1px solid #000;
	background:#eee;
	margin:0px 0px 0px 10px;
	padding: 5px 5px 5px 5px;
	text-align: left;
}
#menu DL DT, #menu DL DD, #menu P {
	font-family: Verdana, Helvetica, sans-serif;
	font-size: 75%;
	font-weight: normal;
}
#menu DL DL DT {
	font-size: 100%;
}
#menu DL, #menu DT, #menu P {
	margin-top: 0px;
	margin-bottom: 0px;
}
#menu DL DD, #menu DL DL DT {
	margin-left: 1em;
}
OL {
	list-style-type: decimal;
	margin-left: 2.5em;
	font-weight: normal;
  padding: 0pt;
}
OL OL {
	list-style-type: lower-alpha;
	margin-left: 2.5%;
}
OL OL OL {
	list-style-type: lower-roman;
	margin-left: 2.5%;
}
PRE {
	font-family: monospace;
	font-size: 95%;
	font-weight: bold;
	color: green;
	white-space: pre;
}
PRE.border {
	border: thin dotted black;
	padding: 0.5em;
}
PRE.indent {
	margin-left: 1em;
}
Q {
	font-style: italic;
}

TD {
  vertical-align: top; 
}
TR.shaded {
	background: #ccffff;
}
UL {
	font-weight: normal;
	margin-left: 1.5em;
	margin-top: 0em;
	margin-bottom: 1em;
  padding: 0pt;
}
UL UL {
	font-weight: normal;
	margin-left: 2.5%;
	margin-top: 0pt;
	margin-bottom: 0pt;
}

/* class for colouring PHP scripts */
.comment { color: #FF9900 }
.default { color: #0000BB }
.html    { color: #000000 }
.keyword { color: #007700 }
.string  { color: #DD0000 }

.change  { background-color: #FFFF66 }

/* generic classes */
.center {
	text-align: center;
  margin-left: auto;
  margin-right: auto;
}
.center table {
  text-align: left;
  margin-left: auto;
  margin-right: auto;
}
.center table caption {
  text-align: center;
  margin-left: auto;
  margin-right: auto;
}

.justify {
	text-align: justify;
}
.left {
	text-align: left;
}
.right {
	text-align: right;
}
.margin {
	margin-left: 2.5%;
}
.nomargin {
	margin-left: 0%;
}
.normal {
	font-weight: normal;
}
.indent {
	margin-left: 1em;
}
.nobottom {
	margin-bottom: 0pt;
}
.nopadding {
	padding-left: 0em;
	padding-right: 0em;
	padding-top: 0em;
	padding-bottom: 0em;
}
.red {
	color: red;
}
.sig {
	font-size: larger;
	font-weight: bold;
	font-style: italic;
}

/* options for printing */
@media print {
	BODY {
		font-size: 80%;
		margin-left: 0%;
		margin-right: 0%;
	}
}

/* options for disqus widgets */
h1.blog {
  color: white; 
  background-color: teal; 
  font-size: 150%; 
  padding-left: 0.25em;
  padding-top: 0.25em;
  padding-bottom: 0.25em;
}
div.header h1 {
  color: teal;
  background-color: transparent;
}
div.header h1 a:link, h1 a:visited, h1 a:active {
  font-size: 150%; 
  font-weight: bold;
  font-style: normal;
  color: teal;
  background-color: transparent;
  text-decoration: none;
}
div.header h1 small {
  padding-left: 1em;
}
div.author .date {
  color: grey;
}
div.author .name {
  color: teal;
  font-weight: bold;
}
div.author .amended {
  color: grey;
}

/* options for navigation buttons */
#navigation {
  line-height: normal;
  padding-top: -10px;
  margin-top: -10px;
  padding-bottom: 20px;
  margin-bottom: 20px;
}
#navigation ul {
  padding-right: 10px; 
  padding-left: 10px; 
  padding-bottom: 0px; 
  padding-top: 0px; 
  margin: 0px; 
  list-style-type: none;
}
#navigation ul li {
  background: url(../images/left.gif) no-repeat left top; 
  padding-left: 9px; 
  padding-right: 0px; 
  padding-top: 0px;
  padding-bottom: 0px; 
  float: left; 
  margin: 0px;
  border-bottom: 1px solid #765;
}
#navigation a {
  background: url(../images/right.gif) no-repeat right top; 
  padding-left: 6px; 
  padding-right: 15px; 
  padding-top: 5px; 
  padding-bottom: 4px; 
  display: block; 
  font-weight: bold; 
  color: #765; 
  text-decoration: none;
}
#navigation a:hover {
  color: #333
}
#navigation #current {
  background-image: url(../images/left_on.gif);
  border-bottom: 1px solid #fff;
}
#navigation #current a {
  background-image: url(../images/right_on.gif); 
  padding-bottom: 5px; 
  color: #333
}