<html><head><meta name="color-scheme" content="light dark"></head><body><pre style="word-wrap: break-word; white-space: pre-wrap;">/*
 *	CSS style-sheet for CO523 webpage(s)
 */


body {
	background-color: #f4f8fc;
	color: #000000;
}

a:link[href] { color: #101080; }
a:active[href] { color: #a01010; }
a:visited[href] { color: #501080; }
a:hover[href] { background-color: #e0e0ff; color: #2020c0; }

/* don't allow image links to be intefered with! */
a[href] img {
	background-color: #ffffff;
	border-style: none;
}

h2 {
	width: 95%;
	margin-left: 2px;
	border-bottom: 2px solid #808080;
	padding: 2px;
	padding-top: 8px;
	color: #606060;
}

h2.highlighted {
	color: #805050;
	border-bottom: 2px solid #906060;
}

h3.highlighted {
	width: 95%;
	margin-left: 2px;
	border-bottom: 2px solid #a06868;
	padding: 2px;
	padding-top: 8px;
	color: #985050;
}

h3.section {
	width: 95%;
	margin-left: 2px;
	border-bottom: 2px solid #888890;
	padding: 2px;
	padding-top: 8px;
	color: #606070;
}

.floatleft {
	float: left;
	margin-right: 8px;
}

.floatright {
	float: right;
	margin-left: 8px;
}

.clear {
	clear: both;
}

.centered {
	margin-left: auto;
	margin-right: auto;
}

.tcentered {
	text-align: center;
}

.fullwidth {
	width: 100%;
}

.bordered {
	border: 1px solid;
}

p.bordered {
	background-color: #f0f8f8;
}

span.keyword {
	color: #006040;
	font-weight: bold;
}

span.val {
	color: #004060;
	background-color: #e8fff0;
	font-style: italic;
	font-weight: bold;
	margin-left: 2px;
	margin-right: 2px;
}

hr {
	clear: both;
}

.coloura {
	background-color: #e8fff0;
}
a[href] img.coloura {
	background-color: #e8fff0;
	border-style: none;
}

.colourb {
	background-color: #f0f4f8;
}

pre.code {
	color: white;
	font-size: smaller;
}

pre.source {
	color: black;
	font-size: smaller;
	background-color: #f0f0f4;
	border-style: solid;
	border-color: #a0a0a0;
	border-width: 4px;
	border-top: none;
	border-bottom: none;
	border-right: none;
	margin-left: 0.2in;
	width: 148ex;
}
pre.source span.keyword { color: #004000; }
pre.source span.var { color: #400040; }
pre.source span.comment { color: #000060; }
pre.source span.class { color: #004040; }
pre.source span.chan { color: #004040; }
pre.source span.const { color: #600000; }
pre.source span.preproc { color: #726d22; }
pre.source span.icomment { color: #000060; font-style: italic; }
pre.source span.standout { color: #d08000; background-color: #f8f8fc; font-weight: bold; }
pre.source span.standout2 { color: #d08000; background-color: #fdff61; font-weight: bold; }

pre.xmlblock {
	color: black;
	font-size: smaller;
	background-color: #f0f0f4;
	margin-left: 0.2in;
	width: 148ex;
}
pre.xmlblock span.keyword { color: #005000; }
pre.xmlblock span.var { color: #000040; }
pre.xmlblock span.comment { color: #000060; }
pre.xmlblock span.class { color: #004040; }
pre.xmlblock span.chan { color: #004040; }
pre.xmlblock span.const { color: #600000; }
pre.xmlblock span.preproc { color: #726d22; }
pre.xmlblock span.icomment { color: #000060; font-style: italic; }
pre.xmlblock span.standout { color: #d08000; background-color: #f8f8fc; font-weight: bold; }
pre.xmlblock span.standout2 { color: #d08000; background-color: #fdff61; font-weight: bold; }
pre.xmlblock span.standout3 { color: #d08000; background-color: #bdff71; font-weight: bold; }

pre.tty {
	background-color: #f0f0f4;
	border-style: inset;
	border-width: 1px;
	margin-left: 0.2in;
	width: 120ex;
	/* margin-right: 0.5in; */
}
pre.tty span.prompt { color: #302020; }
pre.tty span.typed { font-weight: bolder; color: #0000c0; }
pre.tty span.output { color: #301010; }
pre.tty span.commented { color: #606060; }

.standout1 {
	background-color: #e8f8f0;
	padding: 2px;
	border-bottom: 1px solid #1010c0;
}

.standout2 {
	color: #102080;
	padding-left: 2px;
	padding-right: 3px;
	background-color: #e0e4ec;
}

.standout3 {
	color: #104010;
	padding-left: 2px;
	padding-right: 3px;
	border-bottom: 1px solid #10c010;
	/* background-color: #e0ece4; */
}


p {
	text-align: justify;
	margin-left: 0.1in;
	margin-right: 1.5in;
}

.indented {
	margin-left: 0.1in;
}

.bigindent {
	margin-left: 0.5in;
}

.smaller {
	font-size: smaller;
}

table {
	border-color: #808080;
}

p.spacer {
	height: 4pt;
}

p.fnblock {
	text-align: justify;
	margin-left: 1in;
	margin-right: 1in;
	font-size: smaller;
	background-color: #f0f8f0;
	text-align: right;
}

</pre></body></html>