big cleanup

7 files changed, 0 insertions, 1124 deletions

diff --git a/pub/default_favicon.ico b/pub/default_favicon.ico
deleted file mode 100755
index 817f5fa..0000000
--- a/pub/default_favicon.ico
+++ /dev/null
diff --git a/pub/style/imgs/sgl.png b/pub/style/imgs/sgl.png
deleted file mode 100755
index d68580e..0000000
--- a/pub/style/imgs/sgl.png
+++ /dev/null
diff --git a/pub/style/sinorca-screen-alt.css b/pub/style/sinorca-screen-alt.css
deleted file mode 100755
index d11e9ad..0000000
--- a/pub/style/sinorca-screen-alt.css
+++ /dev/null
@@ -1,292 +0,0 @@
-/***********************************************

- * TITLE: Sinorca Alterative Screen Stylesheet *

- * URI  : sinorca/sinorca-screen-alt.css       *

- * MODIF: 2003-May-13 18:48 +0800              *

- ***********************************************/

-

-

-/* ##### Common Styles ##### */

-

-body {

-  color: black;

-  background-color: white;

-  font-family: verdana, helvetica, arial, sans-serif;

-  font-size: 71%;  /* Enables font size scaling in MSIE */

-  margin: 0;

-  padding: 0;

-}

-

-html > body {

-  font-size: 8.5pt;

-}

-

-acronym, .titleTip {

-  border-bottom: 1px dotted rgb(153,153,153);

-  cursor: help;

-  margin: 0;

-  padding: 0 0 0.4px 0;

-}

-

-.doNotDisplay {

-  display: none;

-}

-

-.smallCaps {

-  font-size: 110%;

-  font-variant: small-caps;

-}

-

-

-/* ##### Header ##### */

-

-.superHeader {

-  color: white;

-  background-color: rgb(100,135,220);

-  height: 2em;

-}

-

-.superHeader a {

-  color: white;

-  background-color: transparent;

-  text-decoration: none;

-  font-size: 91%;

-  margin: 0;

-  padding: 0 0.5ex 0 0.25ex;

-}

-

-.superHeader a:hover {

-  text-decoration: underline;

-}

-

-.superHeader .left {

-  position: absolute;

-  left: 1.5mm;

-  top: 0.75ex;

-}

-

-.superHeader .right {

-  position: absolute;

-  right: 1.5mm;

-  top: 0.75ex;

-}

-

-.midHeader {

-  color: rgb(39,78,144);

-  background-color: rgb(140,170,230);

-}

-

-.headerTitle {

-  font-size: 337%;

-  font-weight: normal;

-  margin: 0 0 0 4mm;

-  padding: 0.25ex 0;

-}

-

-.subHeader {

-  color: white;

-  background-color: rgb(0,51,153);

-  margin: 0;

-  padding: 1ex 1ex 1ex 1.5mm;

-}

-

-.subHeader a {

-  color: white;

-  background-color: transparent;

-  text-decoration: none;

-  font-weight: bold;

-  margin: 0;

-  padding: 0 0.75ex 0 0.5ex;

-}  

-

-.subHeader a:hover {

-  text-decoration: underline;

-}

-

-.superHeader .highlight, .subHeader .highlight {

-  color: rgb(253,160,91);

-  background-color: transparent;

-}

-

-

-/* ##### Side Boxes ##### */

-

-#side-bar {

-  width: 14em;

-  margin: 2.5em 0 0 1.25mm;

-  float: left;

-  clear: left;

-}

-

-body > #side-bar {

-  margin-left: 2.5mm;  /* Circumvents a rendering bug in MSIE (6.0) */

-}

-

-.sideBarTitle {

-  color: white;

-  background-color: rgb(100,135,220);

-  font-weight: bold;

-  margin: 0;

-  padding: 0.4ex 0 0.4ex 0.6ex;

-}

-

-#side-bar ul {

-  list-style-type: none;

-  list-style-position: outside;

-  margin: 0;

-  padding: 0 0 2.25em 0;

-}

-

-#side-bar li {

-  margin: 0;

-  padding: 0.1ex 0;  /* Circumvents a rendering bug (?) in MSIE (6.0) */

-}

-

-#side-bar a, .thisPage {

-  color: rgb(0,102,204);

-  background-color: transparent;

-  text-decoration: none;

-  font-weight: bold;

-  margin: 0;

-  padding: 1.3ex 2ex;

-  display: block;

-}

-

-.thisPage {

-  color: black;

-  background-color: transparent;

-}

-

-#side-bar a:hover {

-  color: white;

-  background-color: rgb(100,135,220);

-  text-decoration: none;

-}

-

-.sideBarText {

-  line-height: 1.5em;

-  margin: 0 0 2.5em 0;

-  padding: 1ex 0.5ex 0 0.5ex;

-  display: block;

-}

-

-.sideBarText + .sideBarText {  /* Not recognised by MSIE (6.0) */

-  margin-top: -1.5em;

-}

-

-#side-bar .sideBarText a {

-  text-decoration: underline;

-  font-weight: normal;

-  margin: 0;

-  padding: 0;

-  display: inline;

-}

-

-#side-bar .sideBarText a:hover {

-  color: rgb(0,102,204);

-  background-color: transparent;

-  text-decoration: none;

-}

-

-

-/* ##### Main Copy ##### */

-

-#main-copy {

-  color: black;

-  background-color: transparent;

-  text-align: justify;

-  line-height: 1.5em;

-  margin: -1em 0 0 15em;

-  padding: 0.5mm 5mm 5mm 5mm;

-}

-

-#bodyText {

-  margin: 0 0 0 15.5em;

-  padding: 2mm 5mm 2mm 5mm;

-}

-

-

-#main-copy p {

-  margin: 1em 1ex 2em 1ex;

-  padding: 0;

-}

-

-#main-copy a {

-  color: rgb(0,102,204);

-  background-color: transparent;

-  text-decoration: underline;

-}

-

-#main-copy a:hover {

-  text-decoration: none;

-}

-

-#main-copy h1 {

-  color: rgb(0,102,204);

-  background-color: transparent;

-  font-size: 145.5%;

-  font-weight: bold;

-  margin: 2em 0 0 0;

-  padding: 0.5ex 0 0.5ex 0.6ex;

-  border-bottom: 1px solid rgb(0,102,204);

-}

-

-#main-copy .topOfPage {

-  color: rgb(0,102,204);

-  background-color: transparent;

-  font-size: 91%;

-  font-weight: bold;

-  text-decoration: none;

-  margin: 3ex 1ex 0 0;

-  padding: 0;

-  float: right;

-}

-

-dl {

-  margin: 1em 1ex 2em 1ex;

-  padding: 0;

-}

-

-dt {

-  font-weight: bold;

-  margin: 0 0 0 0;

-  padding: 0;

-}

-

-dd {

-  margin: 0 0 2em 2em;

-  padding: 0;

-}

-

-

-/* ##### Footer ##### */

-

-#footer {

-  color: white;

-  background-color: rgb(100,135,220);

-  font-size: 91%;

-  margin: 0;

-  padding: 1em 2.5mm 2.5ex 2.5mm;

-  clear: both;

-}

-

-#footer .left {

-  text-align: left;

-  line-height: 1.45em;

-  float: left;

-  clear: left;

-}

-

-#footer .right {

-  text-align: right;

-  line-height: 1.45em;

-}

-

-#footer a {

-  color: white;

-  background-color: transparent;

-  text-decoration: underline;

-}

-

-#footer a:hover {

-  text-decoration: none;

-}
\ No newline at end of file
diff --git a/pub/style/style.cat-v.css b/pub/style/style.cat-v.css
deleted file mode 100644
index 3d3d4b6..0000000
--- a/pub/style/style.cat-v.css
+++ /dev/null
@@ -1,50 +0,0 @@
-body { display: flex; flex-wrap: wrap; font-family: sans; }
-header { flex-basis: 100%; flex-shrink: 0; }
-article { flex-basis: 60%; padding-left: 1em; }
-footer { flex-basis: 100%; flex-shrink: 0; }
-header nav { display: flex; justify-content: space-between; }
-nav a, header a { text-decoration: none ; color: inherit; }
-header h1 span { margin-left: 1em; font-size: 50%; font-style: italic; }
-body > nav { flex-basis: content; padding-right: 1vw; min-width: 16em; }
-nav ul { display: flex; flex-direction: column; list-style-type: none; list-style-position: outside; padding-left: 0;  }
-nav li ul { padding-left: 0.6em }
-footer { display: flex; justify-content: space-between; }
-
-/* cut here to leave vanity behind */
-
-body { margin:0; padding: 0; font-size: 84%; font-family: Helvetica, Verdana, Arial, 'Liberation Sans', FreeSans, sans-serif; }
-a { text-decoration: none; color: }
-a:hover { text-decoration: underline; }
-.thisPage { color: black; }
-
-/* header and top bar */
-header nav { background-color: rgb(100,135,220); color: white; padding: 0.3em; border-bottom: 2px solid black; font-size: 91%; }
-header h1 { background-color: #ff6d06; color: black; margin: 0; border-bottom: 2px solid black; font-weight: normal; padding: 0.25ex; font-size: 233%; }
-header a:hover { text-decoration: none; }
-
-/* sidebar */
-body > nav { border-right: 1px solid #ddd; padding: 0;  } 
-body > nav > div { border-bottom: 1px solid #ddd; } 
-body > nav > div a { color: rgb(0, 102, 204); display: block; text-transform: capitalize; font-weight: bold; padding: 0.25em 1ex 0.25em 2mm; font-size: 102%} 
-body > nav > div a:hover { color: white; background-color: rgb(100,135,220); border-left: black solid 0.2em; text-decoration: none; }
-body > nav > div p { font-weight: bold; margin: 0 0 0.5em 2mm; padding: 1em 0 0 0; }
-
-/* main copy */
-article { padding: 0.5ex 0 5vh 1vw;  }
-article h1, article h2 { color: rgb(0,102,204); font-weight: bold; margin: 2em 0 0 0; border-bottom: 2px solid rgb(0,102,204); }
-article h3, article h4, article h5 { color: rgb(0,102,204); font-weight: bold; margin: 2em 0 0 0; }
-article h6, article h7, article h8 { color: rgb(0,102,204); font-weight: bold; margin: 2em 0 0 0; }
-article a { color: rgb(0,102,204); }
-article a:hover { color:  rgb(100,135,220); }
-article pre { font-size: 1.2em; }
-
-/* footer */
-footer { color: white; background-color: rgb(100,135,220); }
-footer a { color: inherit; }
-footer div { padding: 1em; }
-
-/* tables */
-table { border: 1px solid rgba(128,128,128,0.5); padding: 0; }
-th { color: white; background-color: rgb(100,135,220); }
-tr:nth-child(odd) { background-color: rgba(128,128,128,0.1)  }
-
diff --git a/pub/style/style.css b/pub/style/style.css
deleted file mode 100644
index 1002606..0000000
--- a/pub/style/style.css
+++ /dev/null
@@ -1,122 +0,0 @@
-body { display: flex; flex-wrap: wrap; font-family: sans;}
-header { flex-basis: 100%; flex-shrink: 0; }
-article { flex-basis: 60%; padding-left: 1em; }
-footer { flex-basis: 100%; flex-shrink: 0; }
-header nav { display: flex; justify-content: space-between; }
-nav a, header a { text-decoration: none ; color: inherit; }
-header h1 span { margin-left: 1em; font-size: 50%; font-style: italic; }
-.mainContent > nav { flex-basis: content; padding-right: 1vw; min-width: 16em; }
-nav ul { display: flex; flex-direction: column; list-style-type: none; list-style-position: outside; padding-left: 0;  }
-nav li ul { padding-left: 0.6em }
-footer { display: flex; justify-content: space-between; }
-
-/* cut here to leave vanity behind */
-
-body { margin:0; padding: 0; font-size: 84%; font-family: Helvetica, Verdana, Arial, 'Liberation Sans', FreeSans, sans-serif; }
-a { text-decoration: none; color: }
-a:hover { text-decoration: underline; }
-.thisPage { color: black; }
-
-/* header and top bar */
-header nav { background-color: rgb(100,135,220); color: white; padding: 0.3em; border-bottom: 2px solid black; font-size: 91%; }
-header h1 { background-color: #ff6d06; color: black; margin: 0; border-bottom: 2px solid black; font-weight: normal; padding: 0.25ex; font-size: 233%; }
-header a:hover { text-decoration: none; }
-
-/* sidebar */
-.mainContent > nav { border-right: 1px solid #ddd; padding: 0;  } 
-.mainContent > nav > div { border-bottom: 1px solid #ddd; } 
-.mainContent > nav > div a { color: rgb(0, 102, 204); display: block; text-transform: capitalize; font-weight: bold; padding: 0.25em 1ex 0.25em 2mm; font-size: 102%} 
-.mainContent > nav > div a:hover { color: white; background-color: rgb(100,135,220); border-left: black solid 0.2em; text-decoration: none; }
-.mainContent > nav > div p { font-weight: bold; margin: 0 0 0.5em 2mm; padding: 1em 0 0 0; }
-
-/* main copy */
-article { padding: 0.5ex 0 5vh 1vw;  }
-article h1, article h2 { color: rgb(0,102,204); font-weight: bold; margin: 2em 0 0 0; border-bottom: 2px solid rgb(0,102,204); }
-article h3, article h4, article h5 { color: rgb(0,102,204); font-weight: bold; margin: 2em 0 0 0; }
-article h6, article h7, article h8 { color: rgb(0,102,204); font-weight: bold; margin: 2em 0 0 0; }
-article a { color: rgb(0,102,204); }
-article a:hover { color:  rgb(100,135,220); }
-article pre { font-size: 1.2em; }
-
-/* footer */
-footer { color: white; background-color: rgb(100,135,220); }
-footer a { color: inherit; }
-footer div { padding: 1em; }
-
-/* tables */
-table { border: 1px solid rgba(128,128,128,0.5); padding: 0; }
-th { color: white; background-color: rgb(100,135,220); }
-tr:nth-child(odd) { background-color: rgba(128,128,128,0.1)  }
-
-/* modifications */
-img {
-	max-width: 100%;
-	border: 1px solid black;
-}
-
-body {
-	
-}
-
-header h1 {
-	background-color: #c2d2c6;
-}
-
-html {
-	font-size: 1.2em;
-}
-
-header nav, footer {
-	background-color: #442a13;
-}
-
-code > pre {
-	border: 2px solid #442a13;
-	background-color: #c2d2c6;
-	width: max-content;
-	padding: 0 0.5em;
-}
-
-.mainContent > nav > div a, article a:hover {
-	color: #442a13;
-}
-
-.mainContent > nav > div a:hover {
-	color: #442a13;
-	background-color: #c2d2c6;
-}
-
-article h1, article h2 {
-	color: #c48f3b;
-	border-bottom: 2px solid #442a13;
-}
-
-article a, .thisPage, footer, header nav {
-	color: #c48f3b;
-}
-
-footer {
-	padding: 0.5em;
-	flex-shrink: 1;
-	flex-basis: unset;
-}
-
-header {
-	flex-basis: unset;
-}
-
-html {
-	display: flex;
-	min-height: 100%;
-}
-
-body {
-	flex-direction: column;
-	flex: 1;
-	background-color: #e3dfd7;
-}
-
-.mainContent {
-	display: flex;
-	flex-grow: 1;
-}
\ No newline at end of file
diff --git a/pub/style/style.werc140.css b/pub/style/style.werc140.css
deleted file mode 100755
index e3261e9..0000000
--- a/pub/style/style.werc140.css
+++ /dev/null
@@ -1,330 +0,0 @@
-/* Default werc style */
-
-body {
-  color: black;
-  background-color: white;
-  font-family: Helvetica, Verdana, Arial, 'Liberation Sans', FreeSans, sans-serif;
-  font-size: 84%;  /* Enables font size scaling in MSIE */
-  margin: 0;
-  padding: 0;
-}
-
-
-/* # Header # */
-.superHeader {
-  color: white;
-  background-color: rgb(100,135,220);
-  height: 1.6em;
-}
-
-.superHeader img { vertical-align: bottom; }
-
-.superHeader a {
-  color: white;
-  background-color: transparent;
-  font-size: 91%;
-  margin: 0;
-  padding: 0 0.5ex 0 0.25ex;
-}
-
-a { text-decoration: none; }
-a:hover { text-decoration: underline; }
-
-.superHeader div {
-  position: absolute;
-  top: 0.40ex;
-}
-
-.superHeader .left { left: 0.4em; }
-.superHeader .right { right: 0.4em; }
-
-.midHeader {
-  color: rgb(39,78,144);
-  background-color: rgb(140,170,230);
-  background-color: #ff6d06;
-  border: solid 0 black;
-  border-width: 2px 0;
-}
-
-.headerTitle {
-  color: black;
-  font-size: 233%;
-  font-weight: normal;
-  margin: 0 0 0 4mm;
-  padding: 0.25ex 0;
-}
-#headerSubTitle {
-  font-size: 50%;
-  font-style: italic;
-  margin-left: 1em;
-}
-
-.headerTitle a { color: black; }
-.headerTitle a:hover { text-decoration: none; }
-
-.subHeader {
-  display: none;
-  color: white;
-  background-color: rgb(0,51,153);
-  margin: 0;
-  padding: 1ex 1ex 1ex 1.5mm;
-}
-
-.subHeader a {
-  color: white;
-  background-color: transparent;
-  font-weight: bold;
-  margin: 0;
-  padding: 0 0.75ex 0 0.5ex;
-}  
-
-.superHeader .highlight, .subHeader .highlight {
-  color: rgb(253,160,91);
-  background-color: transparent;
-}
-
-
-/* # Side # */
-#side-bar {
-  width: 16em;
-  float: left;
-  clear: left;
-  border-right: 1px solid #ddd;
-}
-
-#side-bar div {
-  border-bottom: 1px solid #ddd;
-}
-
-.sideBarTitle {
-  font-weight: bold;
-  margin: 0 0 0.5em 2mm;
-  padding: 1em 0 0 0;
-}
-
-#side-bar ul {
-  list-style-type: none;
-  list-style-position: outside;
-  margin: 0;
-  padding: 0 0 0.3em 0;
-}
-
-li ul {
-  padding-left: 0.6em !important;
-}
-
-#side-bar li {
-  margin: 0;
-  padding: 0.1ex 0;  /* Circumvents a rendering bug (?) in MSIE 6.0  XXX should move to iehacks.css, this causes an ugly gap */
-}
-
-#side-bar a {
-  color: rgb(0,102,204);
-  background-color: transparent;
-  margin: 0;
-  padding: 0.25em 1ex 0.25em 2mm;
-  display: block;
-  text-transform: capitalize;
-  font-weight: bold!important;
-  font-size: 102%;
-  border-left: white solid 0.2em;
-}
-
-.thisPage, .thisPage a {
-  color: black!important;
-  background-color: white;
-  padding-left: 5mm;
-}
-
-#side-bar a:hover {
-  color: white;
-  background-color: rgb(100,135,220);
-  border-left: black solid 0.2em;
-  text-decoration: none;
-}
-
-.sideBarText {
-  line-height: 1.5em;
-  margin: 0 0 1em 0;
-  padding: 0 1.5ex 0 2.5mm;
-  display: block;
-}
-
-#side-bar .sideBarText a {
-  margin: 0;
-  padding: 0;
-  display: inline;
-}
-
-#side-bar .sideBarText a:hover {
-  color: rgb(0,102,204);
-  background-color: transparent;
-  text-decoration: none;
-}
-
-
-/* # Main Copy # */
-#main-copy {
-  max-width: 70em;
-  color: black;
-  background-color: transparent;
-  text-align: justify;
-  line-height: 1.5em;
-  margin: 0em 0 0 16em;
-  padding: 0.5mm 5mm 5mm 5mm;
-  border-left: 1px solid #ddd;
-}
-
-#bodyText {
-  margin: 0 0 0 15.5em;
-  padding: 2mm 5mm 2mm 5mm;
-}
-
-#main-copy p {
-  margin: 1em 1ex 1em 1ex !important; /* Need !important so troff-generated pages don't look totally squezed */
-  padding: 0;
-}
-
-#main-copy a {
-  color: rgb(0,102,204);
-  background-color: transparent;
-}
-
-#main-copy a:hover {
-  color:  rgb(100,135,220);
-}
-
-#main-copy h1, #main-copy h2 {
-  color: rgb(0,102,204);
-  background-color: transparent;
-  font-size: 145.5%;
-  font-weight: bold;
-  margin: 2em 0 0 0;
-  padding: 0.5ex 0 0.5ex 0.6ex;
-  border-bottom: 2px solid rgb(0,102,204);
-}
-
-#main-copy h2 {
-  font-size: 115.5%;
-  border-bottom: 1px solid rgb(0,102,204);
-}
-
-#main-copy .topOfPage {
-  color: rgb(0,102,204);
-  background-color: transparent;
-  font-size: 91%;
-  font-weight: bold;
-  text-decoration: none;
-  margin: 3ex 1ex 0 0;
-  padding: 0;
-  float: right;
-}
-
-dl {
-  margin: 1em 1ex 2em 1ex;
-  padding: 0;
-}
-
-dt {
-  font-weight: bold;
-  margin: 0 0 0 0;
-  padding: 0;
-}
-
-dd {
-  margin: 0 0 2em 2em;
-  padding: 0;
-}
-
-
-/* # Footer # */
-#footer {
-  color: white;
-  background-color: rgb(100,135,220);
-  padding: 1em;
-  clear: both;
-}
-
-#footer .left {
-  text-align: left;
-  line-height: 1.55em;
-  float: left;
-  clear: left;
-}
-
-#footer .right {
-  text-align: right;
-  line-height: 1.45em;
-}
-
-#footer a {
-  color: white;
-  background-color: transparent;
-}
-
-
-/* GENERAL */
-
-table {
-  border: solid 1px black;
-}
-th {
-  background-color: #abc;
-  border: solid 1px black;
-   text-align: center;
-}
-td {
-  background-color: #def;
-  border: solid 1px black;
-}
-
-hr {
-  border-width: 0px 0px 0.1em 0px;
-  border-color: black;
-}
-
-acronym, .titleTip {
-  border-bottom: 1px solid #ddd;
-  cursor: help;
-  margin: 0;
-  padding: 0 0 0.4px 0;
-}
-
-pre {
-  margin-left: 2em; 
-  font-size: 1.2em;
-}
-
-blockquote {
-  border-left: 1px solid blue;
-  font-style: italic;
-}
-
-.smallCaps {
-  font-size: 110%;
-  font-variant: small-caps;
-}
-
-.doNotDisplay { display: none; }
-
-
-.notify_errors,
-.notify_notes,
-.notify_success { padding: .8em; margin-bottom: 1em; border: 2px solid #ddd; }
- 
-.notify_errors { background: #FBE3E4; color: #8a1f11; border-color: #FBC2C4; }
-.notify_notes { background: #FFF6BF; color: #514721; border-color: #FFD324; }
-.notify_success { background: #E6EFC2; color: #264409; border-color: #C6D880; }
-.notify_errors a { color: #8a1f11; }
-.notify_notes a { color: #514721; }
-.notify_success a { color: #264409; }
-
-
-/* # Page/Handler specific # */
-h1.dir-list-head, ul.dir-list {
-  text-transform: capitalize;
-  font-weight: bold;
-}
-ul.sitemap-list a {
-  text-transform: capitalize;
-}
diff --git a/pub/style/style_old.css b/pub/style/style_old.css
deleted file mode 100755
index e4a41fe..0000000
--- a/pub/style/style_old.css
+++ /dev/null
@@ -1,330 +0,0 @@
-/* Old Default style */
-/* ##### Common Styles ##### */
-
-body {
-  color: black;
-  XXXbackground-color: rgb(240,240,240);
-  background-color: white;
-  font-family: verdana, helvetica, arial, sans-serif;
-  font-size: 71%;  /* Enables font size scaling in MSIE */
-  margin: 0;
-  padding: 0;
-}
-
-html > body {
-  font-size: 8.5pt;
-}
-
-acronym, .titleTip {
-  border-bottom: 1px dotted rgb(153,153,153);
-  cursor: help;
-  margin: 0;
-  padding: 0 0 0.4px 0;
-}
-
-.doNotDisplay {
-  display: none;
-}
-
-.smallCaps {
-  font-size: 110%;
-  font-variant: small-caps;
-}
-
-
-/* ##### Header ##### */
-
-.superHeader {
-  color: white;
-  background-color: rgb(100,135,220);
-  height: 2em;
-}
-
-.superHeader a {
-  color: white;
-  background-color: transparent;
-  text-decoration: none;
-  font-size: 91%;
-  margin: 0;
-  padding: 0 0.5ex 0 0.25ex;
-}
-
-.superHeader a:hover {
-  text-decoration: underline;
-}
-
-.superHeader .left {
-  position: absolute;
-  left: 1.5mm;
-  top: 0.75ex;
-}
-
-.superHeader .right {
-  position: absolute;
-  right: 1.5mm;
-  top: 0.75ex;
-}
-
-.midHeader {
-  color: rgb(39,78,144);
-  background-color: rgb(140,170,230);
-  border: solid 0 black;
-  border-width: 0.3em 0;
-}
-
-.headerTitle {
-  color: black;
-  font-size: 337%;
-  font-weight: normal;
-  margin: 0 0 0 4mm;
-  padding: 0.25ex 0;
-}
-#headerSubTitle {
-  font-size: 50%;
-  font-style: italic;
-}
-
-.subHeader {
-display: none;
-  color: white;
-  background-color: rgb(0,51,153);
-  margin: 0;
-  padding: 1ex 1ex 1ex 1.5mm;
-}
-
-.subHeader a {
-  color: white;
-  background-color: transparent;
-  text-decoration: none;
-  font-weight: bold;
-  margin: 0;
-  padding: 0 0.75ex 0 0.5ex;
-}  
-
-.subHeader a:hover {
-  text-decoration: underline;
-}
-
-.superHeader .highlight, .subHeader .highlight {
-  color: rgb(253,160,91);
-  background-color: transparent;
-}
-
-
-/* ##### Side Bar ##### */
-
-#side-bar {
-  width: 15em;
-  float: left;
-  clear: left;
-  border-right: 1px solid rgb(153,153,153);
-}
-
-#side-bar div {
-  border-bottom: 1px solid rgb(153,153,153);
-}
-
-.sideBarTitle {
-  font-weight: bold;
-  margin: 0 0 0.5em 2.5mm;
-  padding: 1em 0 0 0;
-}
-
-#side-bar ul {
-  list-style-type: none;
-  list-style-position: outside;
-  margin: 0;
-  padding: 0 0 1.1em 0;
-}
-
-#side-bar li {
-  margin: 0;
-  padding: 0.1ex 0;  /* Circumvents a rendering bug (?) in MSIE 6.0 */
-}
-
-#side-bar a, .thisPage {
-  color: rgb(0,102,204);
-  background-color: transparent;
-  XXXtext-decoration: none;
-  margin: 0;
-  padding: 0.55em 1ex 0.55em 5mm;
-  display: block;
-}
-
-.thisPage {
-  color: black;
-  background-color: white;
-  padding-left: 5mm;
-  XXXborder-top: 1px solid rgb(153,153,153);
-  XXXborder-bottom: 1px solid rgb(153,153,153);
-  font-weight: 600;
-}
-
-#side-bar a:hover {
-  color: white;
-  background-color: rgb(100,135,220);
-  text-decoration: none;
-}
-
-.sideBarText {
-  line-height: 1.5em;
-  margin: 0 0 1em 0;
-  padding: 0 1.5ex 0 2.5mm;
-  display: block;
-}
-
-#side-bar .sideBarText a {
-  text-decoration: underline;
-  margin: 0;
-  padding: 0;
-  display: inline;
-}
-
-#side-bar .sideBarText a:hover {
-  color: rgb(0,102,204);
-  background-color: transparent;
-  text-decoration: none;
-}
-
-.lighterBackground {
-  color: inherit;
-  background-color: white;
-}
-
-
-/* ##### Main Copy ##### */
-
-#main-copy {
-  max-width: 90em;
-  color: black;
-  background-color: white;
-  text-align: justify;
-  line-height: 1.5em;
-  margin: 0 0 0 15em;
-  padding: 0.5mm 5mm 5mm 5mm;
-  border-left: 1px solid rgb(153,153,153);
-}
-
-#main-copy p {
-  margin: 1em 1ex 2em 1ex;
-  padding: 0;
-}
-
-#main-copy a {
-  color: rgb(0,102,204);
-  background-color: transparent;
-  text-decoration: underline;
-}
-
-#main-copy a:hover {
-  text-decoration: none;
-}
-
-#main-copy h1 {
-  color: white;
-  background-color: rgb(100,135,220);
-  font-size: 100%;
-  font-weight: bold;
-  margin: 3em 0 0 0;
-  padding: 0.5ex 0 0.5ex 1ex;
-}
-
-#main-copy .topOfPage {
-  color: white;
-  background-color: transparent;
-  font-size: 91%;
-  font-weight: bold;
-  text-decoration: none;
-  margin: 2.5ex 1ex 0 0;  /* For MSIE */
-  padding: 0;
-  float: right;
-}
-
-#main-copy > .topOfPage {
-  margin: 2.75ex 1ex 0 0;  /* For fully standards-compliant user agents */
-}
-
-dl {
-  margin: 1em 1ex 2em 1ex;
-  padding: 0;
-}
-
-dt {
-  font-weight: bold;
-  margin: 0 0 0 0;
-  padding: 0;
-}
-
-dd {
-  margin: 0 0 2em 2em;
-  padding: 0;
-}
-
-
-/* ##### Footer ##### */
-
-#footer {
-  color: white;
-  background-color: rgb(100,135,220);
-  font-size: 91%;
-  margin: 0;
-  padding: 1em 2.5mm 2.5ex 2.5mm;
-  clear: both;
-}
-
-#footer .left {
-  line-height: 1.45em;
-  float: left;
-  clear: left;
-}
-
-#footer .right {
-  text-align: right;
-  line-height: 1.45em;
-}
-
-#footer a {
-  color: white;
-  background-color: transparent;
-  text-decoration: underline;
-}
-
-#footer a:hover {
-  text-decoration: none;
-}
-
-
-/* GENERAL */
-/* Spam */
-.spam {
-    text-align: center;
-}
-
-/* Tables */
-table {
-    border: solid 1px black;
-}
-th {
-    background-color: #abc;
-    border: solid 1px black;
-}
-td {
-    background-color: #def;
-    border: solid 1px black;
-}
-
-hr {
-    border-width: 0px 0px 0.1em 0px;
-    border-color: black;
-}
-
-.spam table, .spam th, .spam td {
-	border: none;
-}
-
-/* Code */
-pre {
-    margin-left: 2em; 
-}
-
-