diff --git a/gh.css b/gh.css
index 9c6b8a5..fbee54f 100644
--- a/gh.css
+++ b/gh.css
@@ -1,244 +1,3 @@
-/* Override some default styles for a hopefully fresher look. */
-
 .strike {
   text-decoration: line-through;
 }
-
-/**********************************************************************/
-/* racket.css */
-
-/* Monospace: */
-.RktIn, .RktRdr, .RktPn, .RktMeta,
-.RktMod, .RktKw, .RktVar, .RktSym,
-.RktRes, .RktOut, .RktCmt, .RktVal, .hspace {
-  font-family: monospace;
-  white-space: inherit;
-}
-
-.RktValLink, .RktModLink {
-  color: #2626c0; /* NOT bright blue */
-}
-
-.RktErr {
-  color: #c02626; /* NOT bright red */
-  font-family: monospace;
-  font-size: 95%;
-}
-
-/* Serif: */
-.inheritedlbl {
-  font-family: 'Fenix',serif;
-}
-
-/* Sans-serif: */
-.RBackgroundLabelInner {
-  font-family: sans-serif;
-}
-
-/**********************************************************************/
-/* scribble.css */
-
-/* Monospace: */
-.maincolumn, .refpara, .refelem, .tocset, .stt, .refparaleft, .refelemleft {
-  font-family: monospace;
-}
-
-/* Serif: */
-.main, .refcontent, .tocview, .tocsub, i {
-  font-family: 'Fenix',serif;
-}
-
-/* Sans-serif: */
-.version, .versionNoNav {
-  font-family: sans-serif;
-}
-
-h3, h4, h5, h6, h7, h8 {
-  margin-top: 1.75em;
-  margin-bottom: 0.5em;
-  font-size: 100%;
-}
-
-/* ---------------------------------------- */
-/* Table of contents, inline */
-
-.toclink {
-  text-decoration: none;
-  color: #777777;
-  font-size: 85%;
-}
-
-.toptoclink {
-  text-decoration: none;
-  color: #777777;
-  font-weight: bold;
-}
-
-/* ---------------------------------------- */
-/* Table of contents, left margin */
-
-.tocset {
-  position: relative;
-  float: left;
-  width: 12.5em;
-  margin-right: 2em;
-}
-.tocset td {
-  vertical-align: text-top;
-}
-
-.tocview {
-  text-align: left;
-  background-color: #f7f7f0;
-}
-
-.tocsub {
-  text-align: left;
-  margin-top: 0.5em;
-  background-color: #f7f7f0;
-}
-
-.tocviewlist, .tocsublist {
-  margin-left: 0.2em;
-  margin-right: 0.2em;
-  padding-top: 0.2em;
-  padding-bottom: 0.2em;
-}
-.tocviewlist table {
-  font-size: 82%;
-}
-
-.tocviewsublist, .tocviewsublistonly, .tocviewsublisttop, .tocviewsublistbottom {
-  margin-left: 0.4em;
-  border-left: 1px solid #bbf;
-  padding-left: 0.8em;
-}
-.tocviewsublist {
-  margin-bottom: 1em;
-}
-.tocviewsublist table,
-.tocviewsublistonly table,
-.tocviewsublisttop table,
-.tocviewsublistbottom table {
-  font-size: 75%;
-}
-
-.tocviewtitle * {
-  font-weight: bold;
-}
-
-.tocviewlink {
-  text-decoration: none;
-  color: black;
-}
-
-.tocviewselflink {
-  text-decoration: none;
-  color: black;
-}
-
-.tocviewtoggle {
-  text-decoration: none;
-  color: blue;
-  font-size: 75%; /* looks better, and avoids bounce when toggling sub-sections due to font alignments */
-}
-
-.tocsublist td {
-  padding-left: 1em;
-  text-indent: -1em;
-}
-
-.tocsublinknumber {
-  font-size: 82%;
-}
-
-.tocsublink {
-  font-size: 82%;
-  text-decoration: none;
-  color: black;
-}
-
-.tocsubseclink {
-  font-size: 82%;
-  text-decoration: none;
-  color: black;
-}
-
-.tocsubnonseclink {
-  font-size: 82%;
-  text-decoration: none;
-  color: black;
-  padding-left: 0.5em;
-}
-
-.tocsubtitle {
-  font-size: 82%;
-  font-style: italic;
-  margin: 0.2em;
-}
-
-.sepspace {
-  font-size: 40%;
-}
-
-.septitle {
-  font-size: 70%;
-}
-
-/* ---------------------------------------- */
-/* Margin notes */
-
-.refpara, .refelem {
-  position: relative;
-  float: right;
-  left: 2em;
-  height: 0em;
-  width: 13em;
-  margin: 0em -13em 0em 0em;
-}
-
-.refpara, .refparaleft {
-  top: -1em;
-}
-
-.refcolumn {
-  background-color: #f7f7f0;
-  display: block;
-  position: relative;
-  width: 13em;
-  font-size: 85%;
-  /* border: 1px solid #707070; */
-  border: 0px;
-  margin: 0 0 0 0;
-  padding: 2 2 2 2;
-}
-
-.refcontent {
-  margin: 0 0 0 0;
-}
-
-.refcontent p {
-  margin-top: 0;
-  margin-bottom: 0;
-}
-
-.refparaleft {
-  position: relative;
-  float: left;
-  right: 2em;
-  height: 0em;
-  width: 13em;
-  margin: 0em 0em 0em -13em;
-}
-
-.refcolumnleft, .refelemleft {
-  background-color: #f7f7f0;
-  display: block;
-  position: relative;
-  width: 13em;
-  font-size: 85%;
-  /* border: 1px solid #707070; */
-  border: 0x;
-  margin: 0 0 0 0;
-  padding: 2 2 2 2;
-}