1 files changed, 0 insertions, 234 deletions
diff --git a/charterm/planet-docs/doc/racket.css b/charterm/planet-docs/doc/racket.css
deleted file mode 100644
index 021e4da5..00000000
--- a/charterm/planet-docs/doc/racket.css
+++ /dev/null
@@ -1,234 +0,0 @@
-
-/* See the beginning of "scribble.css". */
-
-/* Monospace: */
-.RktIn, .RktRdr, .RktPn, .RktMeta,
-.RktMod, .RktKw, .RktVar, .RktSym,
-.RktRes, .RktOut, .RktCmt, .RktVal,
-.RktBlk {
-  font-family: monospace;
-  white-space: inherit;
-}
-
-/* Serif: */
-.inheritedlbl {
-  font-family: serif;
-}
-
-/* Sans-serif: */
-.RBackgroundLabelInner {
-  font-family: sans-serif;
-}
-
-/* ---------------------------------------- */
-/* Inherited methods, left margin */
-
-.inherited {
-  width: 100%;
-  margin-top: 0.5em;
-  text-align: left;
-  background-color: #ECF5F5;
-}
-
-.inherited td {
-  font-size: 82%;
-  padding-left: 1em;
-  text-indent: -0.8em;
-  padding-right: 0.2em;
-}
-
-.inheritedlbl {
-  font-style: italic;
-}
-
-/* ---------------------------------------- */
-/* Racket text styles */
-
-.RktIn {
-  color: #cc6633;
-  background-color: #eeeeee;
-}
-
-.RktInBG {
-  background-color: #eeeeee;
-}
-
-.RktRdr {
-}
-
-.RktPn {
-  color: #843c24;
-}
-
-.RktMeta {
-  color: black;
-}
-
-.RktMod {
-  color: black;
-}
-
-.RktOpt {
-  color: black;
-}
-
-.RktKw {
-  color: black;
-  /* font-weight: bold; */
-}
-
-.RktErr {
-  color: red;
-  font-style: italic;
-}
-
-.RktVar {
-  color: #262680;
-  font-style: italic;
-}
-
-.RktSym {
-  color: #262680;
-}
-
-.RktValLink {
-  text-decoration: none;
-  color: blue;
-}
-
-.RktModLink {
-  text-decoration: none;
-  color: blue;
-}
-
-.RktStxLink {
-  text-decoration: none;
-  color: black;
-  /* font-weight: bold; */
-}
-
-.RktRes {
-  color: #0000af;
-}
-
-.RktOut {
-  color: #960096;
-}
-
-.RktCmt {
-  color: #c2741f;
-}
-
-.RktVal {
-  color: #228b22;
-}
-
-/* ---------------------------------------- */
-/* Some inline styles */
-
-.together {
-  width: 100%;
-}
-
-.prototype, .argcontract, .RBoxed {
-  white-space: nowrap;
-}
-
-.prototype td {
-  vertical-align: text-top;
-}
-.longprototype td {
-  vertical-align: bottom;
-}
-
-.RktBlk {
-  white-space: inherit;
-  text-align: left;
-}
-
-.RktBlk tr {
-  white-space: inherit;
-}
-
-.RktBlk td {
-  vertical-align: baseline;
-  white-space: inherit;
-}
-
-.argcontract td {
-  vertical-align: text-top;
-}
-
-.highlighted {
-  background-color: #ddddff;
-}
-
-.defmodule {
-  width: 100%;
-  background-color: #F5F5DC;
-}
-
-.specgrammar {
-  float: right;
-}
-
-.RBibliography td {
-  vertical-align: text-top;
-}
-
-.leftindent {
- margin-left: 1em;
- margin-right: 0em;
-}
-
-.insetpara {
- margin-left: 1em;
- margin-right: 1em;
-}
-
-.Rfilebox {
-}
-
-.Rfiletitle {
-  text-align: right;
-  margin: 0em 0em 0em 0em;
-}
-
-.Rfilename {
-  border-top: 1px solid #6C8585;
-  border-right: 1px solid #6C8585;
-  padding-left: 0.5em;
-  padding-right: 0.5em;
-  background-color: #ECF5F5;
-}
-
-.Rfilecontent {
-  margin: 0em 0em 0em 0em;
-}
-
-/* ---------------------------------------- */
-/* For background labels */
-
-.RBackgroundLabel {
-   float: right;
-   width: 0px;
-   height: 0px;
-}
-
-.RBackgroundLabelInner {
-   position: relative;
-   width: 25em;
-   left: -25.5em;
-   top: 0px;
-   text-align: right;
-   color: white;
-   z-index: 0;
-   font-weight: bold;
-}
-
-.RForeground {
-   position: relative;
-   left: 0px;
-   top: 0px;
-   z-index: 1;
-}