From bd996b8dec5933c7e4d37be665c9c2541e438606 Mon Sep 17 00:00:00 2001 From: Matthew Butterick Date: Tue, 11 Feb 2014 08:52:53 -0800 Subject: [PATCH] Delete scribble.css --- hyphenate/scribblings/scribble.css | 480 ----------------------------- 1 file changed, 480 deletions(-) delete mode 100644 hyphenate/scribblings/scribble.css diff --git a/hyphenate/scribblings/scribble.css b/hyphenate/scribblings/scribble.css deleted file mode 100644 index f34b7198..00000000 --- a/hyphenate/scribblings/scribble.css +++ /dev/null @@ -1,480 +0,0 @@ - -/* This file is used by default by all Scribble documents. - See also "manual.css", which is added by default by the - `scribble/manual` language. */ - -/* CSS seems backward: List all the classes for which we want a - particular font, so that the font can be changed in one place. (It - would be nicer to reference a font definition from all the places - that we want it.) - - As you read the rest of the file, remember to double-check here to - see if any font is set. */ - -/* Monospace: */ -.maincolumn, .refpara, .refelem, .tocset, .stt, .hspace, .refparaleft, .refelemleft { - font-family: monospace; -} - -/* Serif: */ -.main, .refcontent, .tocview, .tocsub, .sroman, i { - font-family: serif; -} - -/* Sans-serif: */ -.version, .versionNoNav, .ssansserif { - font-family: sans-serif; -} -.ssansserif { - font-size: 80%; - font-weight: bold; -} - -/* ---------------------------------------- */ - -p, .SIntrapara { - display: block; - margin: 1em 0; -} - -h2 { /* per-page main title */ - margin-top: 0; -} - -h3, h4, h5, h6, h7, h8 { - margin-top: 1.75em; - margin-bottom: 0.5em; -} - -.SSubSubSubSection { - font-weight: bold; - font-size: 0.83em; /* should match h5; from HTML 4 reference */ -} - -/* Needed for browsers like Opera, and eventually for HTML 4 conformance. - This means that multiple paragraphs in a table element do not have a space - between them. */ -table p { - margin-top: 0; - margin-bottom: 0; -} - -/* ---------------------------------------- */ -/* Main */ - -body { - color: black; - background-color: #ffffff; -} - -table td { - padding-left: 0; - padding-right: 0; -} - -.maincolumn { - width: 43em; - margin-right: -40em; - margin-left: 15em; -} - -.main { - text-align: left; -} - -/* ---------------------------------------- */ -/* Navigation */ - -.navsettop, .navsetbottom { - background-color: #f0f0e0; - padding: 0.25em 0 0.25em 0; -} - -.navsettop { - margin-bottom: 1.5em; - border-bottom: 2px solid #e0e0c0; -} - -.navsetbottom { - margin-top: 2em; - border-top: 2px solid #e0e0c0; -} - -.navleft { - margin-left: 1ex; - position: relative; - float: left; - white-space: nowrap; -} -.navright { - margin-right: 1ex; - position: relative; - float: right; - white-space: nowrap; -} -.nonavigation { - color: #e0e0e0; -} - -.searchform { - display: inline; - margin: 0; - padding: 0; -} - -.searchbox { - width: 16em; - margin: 0px; - padding: 0px; - background-color: #eee; - border: 1px solid #ddd; - text-align: center; - vertical-align: middle; -} - -#contextindicator { - position: fixed; - background-color: #c6f; - color: #000; - font-family: monospace; - font-weight: bold; - padding: 2px 10px; - display: none; - right: 0; - bottom: 0; -} - -/* ---------------------------------------- */ -/* Version */ - -.versionbox { - position: relative; - float: right; - left: 2em; - height: 0em; - width: 13em; - margin: 0em -13em 0em 0em; -} -.version { - font-size: small; -} -.versionNoNav { - font-size: xx-small; /* avoid overlap with author */ -} - -.version:before, .versionNoNav:before { - content: "Version "; -} - -/* ---------------------------------------- */ -/* 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: #F5F5DC; - display: block; - position: relative; - width: 13em; - font-size: 85%; - border: 0.5em solid #F5F5DC; - margin: 0 0 0 0; -} - -.refcontent { - margin: 0 0 0 0; -} - -.refcontent p { - margin-top: 0; - margin-bottom: 0; -} - -.refparaleft, .refelemleft { - position: relative; - float: left; - right: 2em; - height: 0em; - width: 13em; - margin: 0em 0em 0em -13em; -} - -.refcolumnleft { - background-color: #F5F5DC; - display: block; - position: relative; - width: 13em; - font-size: 85%; - border: 0.5em solid #F5F5DC; - margin: 0 0 0 0; -} - - -/* ---------------------------------------- */ -/* Table of contents, inline */ - -.toclink { - text-decoration: none; - color: blue; - font-size: 85%; -} - -.toptoclink { - text-decoration: none; - color: blue; - 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: #f0f0e0; -} - -.tocsub { - text-align: left; - margin-top: 0.5em; - background-color: #f0f0e0; -} - -.tocviewlist, .tocsublist { - margin-left: 0.2em; - margin-right: 0.2em; - padding-top: 0.2em; - padding-bottom: 0.2em; -} -.tocviewlist table { - font-size: 82%; -} - -.tocviewlisttopspace { - margin-bottom: 1em; -} - -.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: blue; -} - -.tocviewselflink { - text-decoration: underline; - color: blue; -} - -.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; -} - -.tocsubseclink { - font-size: 82%; - text-decoration: none; -} - -.tocsubnonseclink { - font-size: 82%; - text-decoration: none; - padding-left: 0.5em; -} - -.tocsubtitle { - font-size: 82%; - font-style: italic; - margin: 0.2em; -} - -/* ---------------------------------------- */ -/* Some inline styles */ - -.indexlink { - text-decoration: none; -} - -.nobreak { - white-space: nowrap; -} - -pre { margin-left: 2em; } -blockquote { margin-left: 2em; } - -ol { list-style-type: decimal; } -ol ol { list-style-type: lower-alpha; } -ol ol ol { list-style-type: lower-roman; } -ol ol ol ol { list-style-type: upper-alpha; } - -.SCodeFlow { - display: block; - margin-left: 1em; - margin-bottom: 0em; - margin-right: 1em; - margin-top: 0em; - white-space: nowrap; -} - -.SVInsetFlow { - display: block; - margin-left: 0em; - margin-bottom: 0em; - margin-right: 0em; - margin-top: 0em; -} - -.SubFlow { - display: block; - margin: 0em; -} - -.boxed { - width: 100%; - background-color: #E8E8FF; -} - -.hspace { -} - -.slant { - font-style: oblique; -} - -.badlink { - text-decoration: underline; - color: red; -} - -.plainlink { - text-decoration: none; - color: blue; -} - -.techoutside { text-decoration: underline; color: #b0b0b0; } -.techoutside:hover { text-decoration: underline; color: blue; } - -/* .techinside:hover doesn't work with FF, .techinside:hover> - .techinside doesn't work with IE, so use both (and IE doesn't - work with inherit in the second one, so use blue directly) */ -.techinside { color: black; } -.techinside:hover { color: blue; } -.techoutside:hover>.techinside { color: inherit; } - -.SCentered { - text-align: center; -} - -.imageleft { - float: left; - margin-right: 0.3em; -} - -.Smaller { - font-size: 82%; -} - -.Larger { - font-size: 122%; -} - -/* A hack, inserted to break some Scheme ids: */ -.mywbr { - display: inline-block; - height: 0; - width: 0; - font-size: 1px; -} - -.compact li p { - margin: 0em; - padding: 0em; -} - -.noborder img { - border: 0; -} - -.SAuthorListBox { - position: relative; - float: right; - left: 2em; - top: -2.5em; - height: 0em; - width: 13em; - margin: 0em -13em 0em 0em; -} -.SAuthorList { - font-size: 82%; -} -.SAuthorList:before { - content: "by "; -} -.author { - display: inline; - white-space: nowrap; -} - -/* print styles : hide the navigation elements */ -@media print { - .tocset, - .navsettop, - .navsetbottom { display: none; } - .maincolumn { - width: auto; - margin-right: 13em; - margin-left: 0; - } -}