commit 1c0b8bbaad0b74ae59fca6a651385b80d8b485cb
parent ebf9943af48d6634ef4eedea78fe5bf302ede986
Author: Greg Hendershott <greghendershott@gmail.com>
Date: Tue, 25 Mar 2014 08:38:29 -0400
Use new Racket 6.0 Scribble CSS as-is.
Diffstat:
| M | gh.css | | | 241 | ------------------------------------------------------------------------------- |
1 file changed, 0 insertions(+), 241 deletions(-)
diff --git 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;
-}
