www

scribble.css (7937B)

---

 
 /* 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;
 }
 
 .nosearchform {
   display: none;
 }
 
 .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;
   }
 }