updated scribble CSS files for new docs layout
original commit: 090314826be3b7cfa4b7bbf29897dd6eace98b30
This commit is contained in:
Matthew Butterick
Matthew Flatt
parent
5bbd6e2712
commit
7d3048c652
|
|
@ -1,56 +1,64 @@
|
||||||
|
|
||||||
/* See the beginning of "scribble.css". */
|
/* See the beginning of "scribble.css". */
|
||||||
|
|
||||||
/* Monospace: */
|
/* Monospace: */
|
||||||
|
|
||||||
.RktIn, .RktRdr, .RktPn, .RktMeta,
|
.RktIn, .RktRdr, .RktPn, .RktMeta,
|
||||||
.RktMod, .RktKw, .RktVar, .RktSym,
|
.RktMod, .RktKw, .RktVar, .RktSym,
|
||||||
.RktRes, .RktOut, .RktCmt, .RktVal,
|
.RktRes, .RktOut, .RktCmt, .RktVal,
|
||||||
.RktBlk {
|
.RktBlk, .RktErr {
|
||||||
font-family: monospace;
|
font-family: 'Source Code Pro', monospace;
|
||||||
white-space: inherit;
|
white-space: inherit;
|
||||||
|
font-size: 1rem;
|
||||||
}
|
}
|
||||||
|
|
||||||
/* Serif: */
|
/* this selctor grabs the first linked Racket symbol
|
||||||
|
in a definition box (i.e., the symbol being defined) */
|
||||||
|
a.RktValDef, a.RktStxDef, a.RktSymDef,
|
||||||
|
span.RktValDef, span.RktStxDef, span.RktSymDef
|
||||||
|
{
|
||||||
|
font-size: 1.15rem;
|
||||||
|
color: black;
|
||||||
|
font-weight: 600;
|
||||||
|
}
|
||||||
|
|
||||||
|
|
||||||
.inheritedlbl {
|
.inheritedlbl {
|
||||||
font-family: serif;
|
font-family: 'Fira', sans;
|
||||||
}
|
}
|
||||||
|
|
||||||
/* Sans-serif: */
|
|
||||||
.RBackgroundLabelInner {
|
|
||||||
font-family: sans-serif;
|
|
||||||
}
|
|
||||||
|
|
||||||
/* ---------------------------------------- */
|
/* ---------------------------------------- */
|
||||||
/* Inherited methods, left margin */
|
/* Inherited methods, left margin */
|
||||||
|
|
||||||
.inherited {
|
.inherited {
|
||||||
width: 100%;
|
width: 95%;
|
||||||
margin-top: 0.5em;
|
margin-top: 0.5em;
|
||||||
text-align: left;
|
text-align: left;
|
||||||
background-color: #ECF5F5;
|
|
||||||
}
|
}
|
||||||
|
|
||||||
.inherited td {
|
.inherited td {
|
||||||
font-size: 82%;
|
font-size: 82%;
|
||||||
padding-left: 1em;
|
padding-left: 0.5rem;
|
||||||
text-indent: -0.8em;
|
line-height: 1.3em;
|
||||||
padding-right: 0.2em;
|
|
||||||
}
|
}
|
||||||
|
|
||||||
.inheritedlbl {
|
|
||||||
font-style: italic;
|
|
||||||
}
|
|
||||||
|
|
||||||
/* ---------------------------------------- */
|
/* ---------------------------------------- */
|
||||||
/* Racket text styles */
|
/* Racket text styles */
|
||||||
|
|
||||||
.RktIn {
|
.RktIn {
|
||||||
color: #cc6633;
|
color: #cc6633;
|
||||||
background-color: #eeeeee;
|
background-color: #eee;
|
||||||
}
|
}
|
||||||
|
|
||||||
.RktInBG {
|
.RktInBG {
|
||||||
background-color: #eeeeee;
|
background-color: #eee;
|
||||||
|
}
|
||||||
|
|
||||||
|
|
||||||
|
.refcolumn .RktInBG {
|
||||||
|
background-color: white;
|
||||||
}
|
}
|
||||||
|
|
||||||
.RktRdr {
|
.RktRdr {
|
||||||
|
|
@ -65,7 +73,7 @@
|
||||||
}
|
}
|
||||||
|
|
||||||
.RktMod {
|
.RktMod {
|
||||||
color: black;
|
/* color: black; */
|
||||||
}
|
}
|
||||||
|
|
||||||
.RktOpt {
|
.RktOpt {
|
||||||
|
|
@ -80,42 +88,67 @@
|
||||||
.RktErr {
|
.RktErr {
|
||||||
color: red;
|
color: red;
|
||||||
font-style: italic;
|
font-style: italic;
|
||||||
|
font-weight: 400;
|
||||||
}
|
}
|
||||||
|
|
||||||
.RktVar {
|
.RktVar {
|
||||||
color: #262680;
|
position: relative;
|
||||||
font-style: italic;
|
left: -1px; font-style: italic;
|
||||||
|
color: #444;
|
||||||
}
|
}
|
||||||
|
|
||||||
|
.SVInsetFlow .RktVar {
|
||||||
|
font-weight: 400;
|
||||||
|
color: #444;
|
||||||
|
}
|
||||||
|
|
||||||
|
|
||||||
.RktSym {
|
.RktSym {
|
||||||
color: #262680;
|
/* color: #444; */
|
||||||
}
|
}
|
||||||
|
|
||||||
.RktSymDef { /* used with RktSym at def site */
|
|
||||||
}
|
|
||||||
|
|
||||||
.RktValLink {
|
|
||||||
|
.RktValLink, .RktStxLink, .RktModLink {
|
||||||
text-decoration: none;
|
text-decoration: none;
|
||||||
color: blue;
|
color: #07A;
|
||||||
|
font-weight: 500;
|
||||||
|
font-size: 1rem;
|
||||||
}
|
}
|
||||||
|
|
||||||
.RktValDef { /* used with RktValLink at def site */
|
/* for syntax links within headings */
|
||||||
|
h2 a.RktStxLink, h3 a.RktStxLink, h4 a.RktStxLink, h5 a.RktStxLink,
|
||||||
|
h2 a.RktValLink, h3 a.RktValLink, h4 a.RktValLink, h5 a.RktValLink,
|
||||||
|
h2 .RktSym, h3 .RktSym, h4 .RktSym, h5 .RktSym,
|
||||||
|
h2 .RktMod, h3 .RktMod, h4 .RktMod, h5 .RktMod,
|
||||||
|
h2 .RktVal, h3 .RktVal, h4 .RktVal, h5 .RktVal,
|
||||||
|
h2 .RktPn, h3 .RktPn, h4 .RktPn, h5 .RktPn {
|
||||||
|
color: #333;
|
||||||
|
font-size: 1.65rem;
|
||||||
|
font-weight: 400;
|
||||||
}
|
}
|
||||||
|
|
||||||
.RktModLink {
|
.toptoclink .RktStxLink, .toclink .RktStxLink,
|
||||||
text-decoration: none;
|
.toptoclink .RktValLink, .toclink .RktValLink,
|
||||||
color: blue;
|
.toptoclink .RktModLink, .toclink .RktModLink {
|
||||||
|
color: inherit;
|
||||||
}
|
}
|
||||||
|
|
||||||
.RktStxLink {
|
.tocset .RktValLink, .tocset .RktStxLink, .tocset .RktModLink {
|
||||||
text-decoration: none;
|
color: black;
|
||||||
color: black;
|
font-weight: 400;
|
||||||
/* font-weight: bold; */
|
font-size: 0.9rem;
|
||||||
}
|
}
|
||||||
|
|
||||||
.RktStxDef { /* used with RktStxLink at def site */
|
.tocset td a.tocviewselflink .RktValLink,
|
||||||
|
.tocset td a.tocviewselflink .RktStxLink,
|
||||||
|
.tocset td a.tocviewselflink .RktMod,
|
||||||
|
.tocset td a.tocviewselflink .RktSym {
|
||||||
|
font-weight: lighter;
|
||||||
|
color: white;
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
||||||
.RktRes {
|
.RktRes {
|
||||||
color: #0000af;
|
color: #0000af;
|
||||||
}
|
}
|
||||||
|
|
@ -135,8 +168,13 @@
|
||||||
/* ---------------------------------------- */
|
/* ---------------------------------------- */
|
||||||
/* Some inline styles */
|
/* Some inline styles */
|
||||||
|
|
||||||
.together {
|
.together { /* for definitions grouped together in one box */
|
||||||
width: 100%;
|
width: 100%;
|
||||||
|
border-top: 2px solid white;
|
||||||
|
}
|
||||||
|
|
||||||
|
tbody > tr:first-child > td > .together {
|
||||||
|
border-top: 0px; /* erase border on first instance of together */
|
||||||
}
|
}
|
||||||
|
|
||||||
.prototype, .argcontract, .RBoxed {
|
.prototype, .argcontract, .RBoxed {
|
||||||
|
|
@ -151,7 +189,7 @@
|
||||||
}
|
}
|
||||||
|
|
||||||
.RktBlk {
|
.RktBlk {
|
||||||
white-space: inherit;
|
white-space: normal;
|
||||||
text-align: left;
|
text-align: left;
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
@ -169,24 +207,39 @@
|
||||||
}
|
}
|
||||||
|
|
||||||
.highlighted {
|
.highlighted {
|
||||||
background-color: #ddddff;
|
font-size: 1rem;
|
||||||
|
background-color: #fee;
|
||||||
}
|
}
|
||||||
|
|
||||||
.defmodule {
|
.defmodule {
|
||||||
width: 100%;
|
font-family: 'Source Code Pro';
|
||||||
background-color: #F5F5DC;
|
padding: 0.25rem 0.75rem 0.5rem 0.5rem;
|
||||||
|
margin-bottom: 1rem;
|
||||||
|
width: 100%;
|
||||||
|
background-color: hsl(60, 29%, 94%);
|
||||||
|
}
|
||||||
|
|
||||||
|
.defmodule a {
|
||||||
|
color: #444;
|
||||||
|
}
|
||||||
|
|
||||||
|
.defmodule td span.hspace:first-child {
|
||||||
|
position: absolute;
|
||||||
|
width: 0;
|
||||||
}
|
}
|
||||||
|
|
||||||
.specgrammar {
|
.specgrammar {
|
||||||
float: right;
|
padding-left: 1em;
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
||||||
.RBibliography td {
|
.RBibliography td {
|
||||||
vertical-align: text-top;
|
vertical-align: text-top;
|
||||||
|
padding-top: 1em;
|
||||||
}
|
}
|
||||||
|
|
||||||
.leftindent {
|
.leftindent {
|
||||||
margin-left: 1em;
|
margin-left: 2rem;
|
||||||
margin-right: 0em;
|
margin-right: 0em;
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
@ -195,29 +248,30 @@
|
||||||
margin-right: 1em;
|
margin-right: 1em;
|
||||||
}
|
}
|
||||||
|
|
||||||
.Rfilebox {
|
.SCodeFlow .Rfilebox {
|
||||||
|
margin-left: -1em; /* see 17.2 of guide, module languages */
|
||||||
}
|
}
|
||||||
|
|
||||||
.Rfiletitle {
|
.Rfiletitle {
|
||||||
text-align: right;
|
text-align: right;
|
||||||
margin: 0em 0em 0em 0em;
|
background-color: #eee;
|
||||||
}
|
}
|
||||||
|
|
||||||
|
.SCodeFlow .Rfiletitle {
|
||||||
|
border-top: 1px dotted gray;
|
||||||
|
border-right: 1px dotted gray;
|
||||||
|
}
|
||||||
|
|
||||||
|
|
||||||
.Rfilename {
|
.Rfilename {
|
||||||
border-top: 1px solid #6C8585;
|
|
||||||
border-right: 1px solid #6C8585;
|
|
||||||
padding-left: 0.5em;
|
padding-left: 0.5em;
|
||||||
padding-right: 0.5em;
|
padding-right: 0.5em;
|
||||||
background-color: #ECF5F5;
|
|
||||||
}
|
}
|
||||||
|
|
||||||
.Rfilecontent {
|
.Rfilecontent {
|
||||||
margin: 0em 0em 0em 0em;
|
margin: 0.5em;
|
||||||
}
|
}
|
||||||
|
|
||||||
.RpackageSpec {
|
|
||||||
padding-right: 0.5em;
|
|
||||||
}
|
|
||||||
|
|
||||||
/* ---------------------------------------- */
|
/* ---------------------------------------- */
|
||||||
/* For background labels */
|
/* For background labels */
|
||||||
|
|
@ -232,11 +286,20 @@
|
||||||
position: relative;
|
position: relative;
|
||||||
width: 25em;
|
width: 25em;
|
||||||
left: -25.5em;
|
left: -25.5em;
|
||||||
top: 0px;
|
top: 0.20rem; /* sensitive to monospaced font choice */
|
||||||
text-align: right;
|
text-align: right;
|
||||||
color: white;
|
|
||||||
z-index: 0;
|
z-index: 0;
|
||||||
font-weight: bold;
|
font-weight: 300;
|
||||||
|
font-family: 'Source Code Pro';
|
||||||
|
font-size: 0.9rem;
|
||||||
|
color: gray;
|
||||||
|
}
|
||||||
|
|
||||||
|
|
||||||
|
.RpackageSpec .Smaller {
|
||||||
|
font-weight: 300;
|
||||||
|
font-family: 'Source Code Pro';
|
||||||
|
font-size: 0.9rem;
|
||||||
}
|
}
|
||||||
|
|
||||||
.RForeground {
|
.RForeground {
|
||||||
|
|
|
||||||
332
pkgs/scribble-pkgs/scribble-lib/scribble/scribble-fonts.css
Normal file
332
pkgs/scribble-pkgs/scribble-lib/scribble/scribble-fonts.css
Normal file
File diff suppressed because one or more lines are too long
|
|
@ -1,3 +1,20 @@
|
||||||
|
@import url("scribble-fonts.css");
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
* {
|
||||||
|
margin: 0;
|
||||||
|
padding: 0;
|
||||||
|
}
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
@media all {html {font-size: 15px;}}
|
||||||
|
@media all and (max-width:940px){html {font-size: 14px;}}
|
||||||
|
@media all and (max-width:850px){html {font-size: 13px;}}
|
||||||
|
@media all and (max-width:830px){html {font-size: 12px;}}
|
||||||
|
@media all and (max-width:740px){html {font-size: 11px;}}
|
||||||
|
|
||||||
/* CSS seems backward: List all the classes for which we want a
|
/* 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
|
particular font, so that the font can be changed in one place. (It
|
||||||
|
|
@ -9,39 +26,111 @@
|
||||||
|
|
||||||
/* Monospace: */
|
/* Monospace: */
|
||||||
.maincolumn, .refpara, .refelem, .tocset, .stt, .hspace, .refparaleft, .refelemleft {
|
.maincolumn, .refpara, .refelem, .tocset, .stt, .hspace, .refparaleft, .refelemleft {
|
||||||
font-family: monospace;
|
font-family: 'Source Code Pro', monospace;
|
||||||
|
white-space: inherit;
|
||||||
|
font-size: 1rem;
|
||||||
}
|
}
|
||||||
|
|
||||||
|
.stt {
|
||||||
|
font-weight: 500;
|
||||||
|
}
|
||||||
|
|
||||||
|
h2 .stt {
|
||||||
|
font-size: 2.7rem;
|
||||||
|
}
|
||||||
|
|
||||||
|
.toptoclink .stt {
|
||||||
|
font-size: inherit;
|
||||||
|
}
|
||||||
|
.toclink .stt {
|
||||||
|
font-size: 90%;
|
||||||
|
}
|
||||||
|
|
||||||
|
.RpackageSpec .stt {
|
||||||
|
font-weight: 300;
|
||||||
|
font-family: 'Source Code Pro';
|
||||||
|
font-size: 0.9rem;
|
||||||
|
}
|
||||||
|
|
||||||
|
h3 .stt, h4 .stt, h5 .stt {
|
||||||
|
color: #333;
|
||||||
|
font-size: 1.65rem;
|
||||||
|
font-weight: 400;
|
||||||
|
}
|
||||||
|
|
||||||
|
|
||||||
/* Serif: */
|
/* Serif: */
|
||||||
.main, .refcontent, .tocview, .tocsub, .sroman, i {
|
.main, .refcontent, .tocview, .tocsub, .sroman, i {
|
||||||
font-family: serif;
|
font-family: 'Charter', serif;
|
||||||
|
font-size: 1.18rem;
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
||||||
/* Sans-serif: */
|
/* Sans-serif: */
|
||||||
.version, .versionNoNav, .ssansserif {
|
.version, .versionNoNav, .ssansserif {
|
||||||
font-family: sans-serif;
|
font-family: 'Fira', sans-serif;
|
||||||
}
|
}
|
||||||
.ssansserif {
|
.ssansserif {
|
||||||
font-size: 80%;
|
font-family: 'Fira';
|
||||||
font-weight: bold;
|
font-weight: 500;
|
||||||
|
font-size: 0.9em;
|
||||||
}
|
}
|
||||||
|
|
||||||
|
.tocset .ssansserif {
|
||||||
|
font-size: 100%; }
|
||||||
|
|
||||||
/* ---------------------------------------- */
|
/* ---------------------------------------- */
|
||||||
|
|
||||||
p, .SIntrapara {
|
p, .SIntrapara {
|
||||||
display: block;
|
display: block;
|
||||||
margin: 1em 0;
|
margin: 0 0 1em 0;
|
||||||
|
line-height: 140%;
|
||||||
}
|
}
|
||||||
|
|
||||||
h2 { /* per-page main title */
|
|
||||||
margin-top: 0;
|
li {
|
||||||
|
list-style-position: outside;
|
||||||
|
margin-left: 1.2em;
|
||||||
|
}
|
||||||
|
|
||||||
|
h1, h2, h3, h4, h5, h6, h7, h8 {
|
||||||
|
font-family: 'Fira';
|
||||||
|
font-weight: 300;
|
||||||
|
font-size: 1.6rem;
|
||||||
|
color: #333;
|
||||||
|
margin-bottom: 1rem;
|
||||||
|
line-height: 125%;
|
||||||
|
-moz-font-feature-settings: 'tnum=1';
|
||||||
|
-moz-font-feature-settings: 'tnum' 1;
|
||||||
|
-webkit-font-feature-settings: 'tnum' 1;
|
||||||
|
-o-font-feature-settings: 'tnum' 1;
|
||||||
|
-ms-font-feature-settings: 'tnum' 1;
|
||||||
|
font-feature-settings: 'tnum' 1;
|
||||||
|
|
||||||
}
|
}
|
||||||
|
|
||||||
h3, h4, h5, h6, h7, h8 {
|
h3, h4, h5, h6, h7, h8 {
|
||||||
margin-top: 1.75em;
|
border-top: 1px solid black;
|
||||||
margin-bottom: 0.5em;
|
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
h2 { /* per-page main title */
|
||||||
|
font-family: 'Miso';
|
||||||
|
font-weight: bold;
|
||||||
|
margin-top: 4rem;
|
||||||
|
font-size: 3rem;
|
||||||
|
line-height: 110%;
|
||||||
|
width: 90%;
|
||||||
|
}
|
||||||
|
|
||||||
|
h3, h4, h5, h6, h7, h8 {
|
||||||
|
margin-top: 2em;
|
||||||
|
padding-top: 0.1em;
|
||||||
|
margin-bottom: 0.75em;
|
||||||
|
}
|
||||||
|
|
||||||
|
|
||||||
.SSubSubSubSection {
|
.SSubSubSubSection {
|
||||||
font-weight: bold;
|
font-weight: bold;
|
||||||
font-size: 0.83em; /* should match h5; from HTML 4 reference */
|
font-size: 0.83em; /* should match h5; from HTML 4 reference */
|
||||||
|
|
@ -59,8 +148,8 @@ table p {
|
||||||
/* Main */
|
/* Main */
|
||||||
|
|
||||||
body {
|
body {
|
||||||
color: black;
|
color: black;
|
||||||
background-color: #ffffff;
|
background-color: white;
|
||||||
}
|
}
|
||||||
|
|
||||||
table td {
|
table td {
|
||||||
|
|
@ -69,133 +158,198 @@ table td {
|
||||||
}
|
}
|
||||||
|
|
||||||
.maincolumn {
|
.maincolumn {
|
||||||
width: 43em;
|
margin-top: 4rem;
|
||||||
margin-right: -40em;
|
margin-left: 17rem;
|
||||||
margin-left: 15em;
|
margin-right: 2rem;
|
||||||
|
margin-bottom: 10rem; /* to avoid fixed bottom nav bar */
|
||||||
|
max-width: 700px;
|
||||||
|
min-width: 370px; /* below this size, code samples don't fit */
|
||||||
}
|
}
|
||||||
|
|
||||||
.main {
|
|
||||||
text-align: left;
|
a {
|
||||||
|
color: #07A;
|
||||||
|
text-decoration: inherit;
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
||||||
|
a:hover {
|
||||||
|
text-decoration: underline;
|
||||||
|
}
|
||||||
|
|
||||||
|
|
||||||
/* ---------------------------------------- */
|
/* ---------------------------------------- */
|
||||||
/* Navigation */
|
/* Navigation */
|
||||||
|
|
||||||
.navsettop, .navsetbottom {
|
.navsettop, .navsetbottom {
|
||||||
background-color: #f0f0e0;
|
left: 0;
|
||||||
padding: 0.25em 0 0.25em 0;
|
width: 15rem;
|
||||||
|
height: 6rem;
|
||||||
|
font-family: 'Fira';
|
||||||
|
font-size: 0.9rem;
|
||||||
|
border-bottom: 0px solid hsl(216, 15%, 70%);
|
||||||
}
|
}
|
||||||
|
|
||||||
.navsettop {
|
.navsettop {
|
||||||
margin-bottom: 1.5em;
|
position: absolute;
|
||||||
border-bottom: 2px solid #e0e0c0;
|
top: 0;
|
||||||
|
left: 0;
|
||||||
}
|
}
|
||||||
|
|
||||||
|
.navsettop a, .navsetbottom a {
|
||||||
|
color: black;
|
||||||
|
}
|
||||||
|
|
||||||
|
.navsettop a:hover, .navsetbottom a:hover {
|
||||||
|
background: hsl(216, 78%, 95%);
|
||||||
|
text-decoration: none;
|
||||||
|
}
|
||||||
|
|
||||||
|
|
||||||
|
.navleft a {
|
||||||
|
display: inline-block;
|
||||||
|
}
|
||||||
|
|
||||||
|
|
||||||
|
.navright a {
|
||||||
|
display: inline-block;
|
||||||
|
text-align: center;
|
||||||
|
}
|
||||||
|
|
||||||
|
.navleft a, .navright a, .navright span {
|
||||||
|
display: inline-block;
|
||||||
|
padding: 0.5rem;
|
||||||
|
min-width: 1rem;
|
||||||
|
}
|
||||||
|
|
||||||
|
|
||||||
|
.navright {
|
||||||
|
height: 2rem;
|
||||||
|
white-space: nowrap;
|
||||||
|
}
|
||||||
|
|
||||||
|
|
||||||
.navsetbottom {
|
.navsetbottom {
|
||||||
margin-top: 2em;
|
display: none;
|
||||||
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 {
|
.nonavigation {
|
||||||
color: #e0e0e0;
|
color: #889;
|
||||||
}
|
}
|
||||||
|
|
||||||
.searchform {
|
.searchform {
|
||||||
display: inline;
|
display: fixed;
|
||||||
margin: 0;
|
margin: 0;
|
||||||
padding: 0;
|
padding: 0;
|
||||||
|
border-bottom: 1px solid #eee;
|
||||||
|
height: 4rem;
|
||||||
}
|
}
|
||||||
|
|
||||||
.searchbox {
|
.searchbox {
|
||||||
width: 16em;
|
font-size: 1rem;
|
||||||
margin: 0px;
|
width: 12rem;
|
||||||
padding: 0px;
|
margin: 1rem;
|
||||||
background-color: #eee;
|
padding: 0.25rem;
|
||||||
border: 1px solid #ddd;
|
|
||||||
text-align: center;
|
|
||||||
vertical-align: middle;
|
vertical-align: middle;
|
||||||
}
|
}
|
||||||
|
|
||||||
|
#search_box {
|
||||||
|
font-size: 0.8rem;
|
||||||
|
}
|
||||||
|
|
||||||
#contextindicator {
|
#contextindicator {
|
||||||
position: fixed;
|
position: fixed;
|
||||||
background-color: #c6f;
|
background-color: #c6f;
|
||||||
color: #000;
|
color: #000;
|
||||||
font-family: monospace;
|
font-family: monospace;
|
||||||
font-weight: bold;
|
font-weight: bold;
|
||||||
padding: 2px 10px;
|
padding: 0.1rem 0.5rem;
|
||||||
display: none;
|
display: none;
|
||||||
right: 0;
|
right: 0;
|
||||||
bottom: 0;
|
bottom: 0;
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
||||||
/* ---------------------------------------- */
|
/* ---------------------------------------- */
|
||||||
/* Version */
|
/* Version */
|
||||||
|
|
||||||
.versionbox {
|
.versionbox {
|
||||||
position: relative;
|
position: absolute;
|
||||||
float: right;
|
top: 0.25rem;
|
||||||
left: 2em;
|
left: 17rem;
|
||||||
height: 0em;
|
z-index: 11000;
|
||||||
width: 13em;
|
height: 2em;
|
||||||
margin: 0em -13em 0em 0em;
|
font-size: 70%;
|
||||||
|
font-weight: lighter;
|
||||||
}
|
}
|
||||||
.version {
|
.version:before, .versionNoNav:before {
|
||||||
font-size: small;
|
content: "v.";
|
||||||
}
|
|
||||||
.versionNoNav {
|
|
||||||
font-size: xx-small; /* avoid overlap with author */
|
|
||||||
}
|
}
|
||||||
|
|
||||||
.version:before, .versionNoNav:before {
|
|
||||||
content: "Version ";
|
|
||||||
}
|
|
||||||
|
|
||||||
/* ---------------------------------------- */
|
/* ---------------------------------------- */
|
||||||
/* Margin notes */
|
/* Margin notes */
|
||||||
|
|
||||||
.refpara, .refelem {
|
.refcolumn {
|
||||||
position: relative;
|
display: block;
|
||||||
float: right;
|
margin: 2rem;
|
||||||
left: 2em;
|
margin-left: 2rem;
|
||||||
height: 0em;
|
padding: 0.5em;
|
||||||
width: 13em;
|
padding-left: 0.75em;
|
||||||
margin: 0em -13em 0em 0em;
|
padding-right: 1em;
|
||||||
|
background: hsl(60, 29%, 94%);
|
||||||
|
border: 1px solid #ccb;
|
||||||
|
border-left: 0.4rem solid #ccb;
|
||||||
|
}
|
||||||
|
|
||||||
|
|
||||||
|
.refcontent p {
|
||||||
|
line-height: 1.5rem;
|
||||||
|
margin: 0;
|
||||||
|
}
|
||||||
|
|
||||||
|
.refcontent p + p {
|
||||||
|
margin-top: 1em;
|
||||||
|
}
|
||||||
|
|
||||||
|
.refcontent a {
|
||||||
|
font-weight: 400;
|
||||||
|
}
|
||||||
|
|
||||||
|
.refcontent img {
|
||||||
|
width: 1.5em;
|
||||||
}
|
}
|
||||||
|
|
||||||
.refpara, .refparaleft {
|
.refpara, .refparaleft {
|
||||||
top: -1em;
|
top: -1em;
|
||||||
}
|
}
|
||||||
|
|
||||||
.refcolumn {
|
|
||||||
background-color: #F5F5DC;
|
@media all and (max-width:600px) {
|
||||||
display: block;
|
.refcolumn {
|
||||||
position: relative;
|
margin-left: 0;
|
||||||
width: 13em;
|
margin-right: 0;
|
||||||
font-size: 85%;
|
}
|
||||||
border: 0.5em solid #F5F5DC;
|
}
|
||||||
margin: 0 0 0 0;
|
|
||||||
|
|
||||||
|
@media all and (min-width:1260px) {
|
||||||
|
.refcolumn {
|
||||||
|
position: absolute;
|
||||||
|
left: 66rem; right: 3em;
|
||||||
|
margin: 0;
|
||||||
|
float: right;
|
||||||
|
max-width: 18rem;
|
||||||
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
.refcontent {
|
.refcontent {
|
||||||
|
font-family: 'Fira';
|
||||||
|
font-size: 1rem;
|
||||||
|
line-height: 160%;
|
||||||
margin: 0 0 0 0;
|
margin: 0 0 0 0;
|
||||||
}
|
}
|
||||||
|
|
||||||
.refcontent p {
|
|
||||||
margin-top: 0;
|
|
||||||
margin-bottom: 0;
|
|
||||||
}
|
|
||||||
|
|
||||||
.refparaleft, .refelemleft {
|
.refparaleft, .refelemleft {
|
||||||
position: relative;
|
position: relative;
|
||||||
|
|
@ -207,53 +361,76 @@ table td {
|
||||||
}
|
}
|
||||||
|
|
||||||
.refcolumnleft {
|
.refcolumnleft {
|
||||||
background-color: #F5F5DC;
|
background-color: hsl(60, 29%, 94%);
|
||||||
display: block;
|
display: block;
|
||||||
position: relative;
|
position: relative;
|
||||||
width: 13em;
|
width: 13em;
|
||||||
font-size: 85%;
|
font-size: 85%;
|
||||||
border: 0.5em solid #F5F5DC;
|
border: 0.5em solid hsl(60, 29%, 94%);
|
||||||
margin: 0 0 0 0;
|
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 */
|
/* Table of contents, left margin */
|
||||||
|
|
||||||
.tocset {
|
.tocset {
|
||||||
position: relative;
|
position: absolute;
|
||||||
float: left;
|
left: 0;
|
||||||
width: 12.5em;
|
top: 0rem;
|
||||||
margin-right: 2em;
|
width: 14rem;
|
||||||
|
padding: 7rem 0.5rem 0.5rem 0.5rem;
|
||||||
|
background-color: hsl(216, 15%, 70%);
|
||||||
|
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
.tocset td {
|
.tocset td {
|
||||||
vertical-align: text-top;
|
vertical-align: text-top;
|
||||||
|
padding-bottom: 0.4rem;
|
||||||
|
padding-left: 0.2rem;
|
||||||
|
line-height: 110%;
|
||||||
|
font-family: 'Fira';
|
||||||
|
-moz-font-feature-settings: 'tnum=1';
|
||||||
|
-moz-font-feature-settings: 'tnum' 1;
|
||||||
|
-webkit-font-feature-settings: 'tnum' 1;
|
||||||
|
-o-font-feature-settings: 'tnum' 1;
|
||||||
|
-ms-font-feature-settings: 'tnum' 1;
|
||||||
|
font-feature-settings: 'tnum' 1;
|
||||||
|
|
||||||
}
|
}
|
||||||
|
|
||||||
|
.tocset td a {
|
||||||
|
color: black;
|
||||||
|
font-weight: 400;
|
||||||
|
}
|
||||||
|
|
||||||
|
|
||||||
.tocview {
|
.tocview {
|
||||||
text-align: left;
|
text-align: left;
|
||||||
background-color: #f0f0e0;
|
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
||||||
|
.tocview td, .tocsub td {
|
||||||
|
line-height: 1.3em;
|
||||||
|
}
|
||||||
|
|
||||||
|
|
||||||
|
.tocview table, .tocsub table {
|
||||||
|
width: 90%;
|
||||||
|
}
|
||||||
|
|
||||||
|
.tocset td a.tocviewselflink {
|
||||||
|
font-weight: lighter;
|
||||||
|
font-size: 110%; /* monospaced styles below don't need to enlarge */
|
||||||
|
color: white;
|
||||||
|
}
|
||||||
|
|
||||||
|
|
||||||
.tocsub {
|
.tocsub {
|
||||||
text-align: left;
|
text-align: left;
|
||||||
margin-top: 0.5em;
|
margin-top: 0.5em;
|
||||||
background-color: #f0f0e0;
|
|
||||||
}
|
}
|
||||||
|
|
||||||
.tocviewlist, .tocsublist {
|
.tocviewlist, .tocsublist {
|
||||||
|
|
@ -272,7 +449,7 @@ table td {
|
||||||
|
|
||||||
.tocviewsublist, .tocviewsublistonly, .tocviewsublisttop, .tocviewsublistbottom {
|
.tocviewsublist, .tocviewsublistonly, .tocviewsublisttop, .tocviewsublistbottom {
|
||||||
margin-left: 0.4em;
|
margin-left: 0.4em;
|
||||||
border-left: 1px solid #bbf;
|
border-left: 1px solid #99a;
|
||||||
padding-left: 0.8em;
|
padding-left: 0.8em;
|
||||||
}
|
}
|
||||||
.tocviewsublist {
|
.tocviewsublist {
|
||||||
|
|
@ -281,37 +458,28 @@ table td {
|
||||||
.tocviewsublist table,
|
.tocviewsublist table,
|
||||||
.tocviewsublistonly table,
|
.tocviewsublistonly table,
|
||||||
.tocviewsublisttop table,
|
.tocviewsublisttop table,
|
||||||
.tocviewsublistbottom table {
|
.tocviewsublistbottom table,
|
||||||
font-size: 75%;
|
table.tocsublist {
|
||||||
|
font-size: 1rem;
|
||||||
}
|
}
|
||||||
|
|
||||||
.tocviewtitle * {
|
.tocviewsublist td, .tocviewsublistbottom td, .tocviewsublisttop td, .tocsub td,
|
||||||
font-weight: bold;
|
.tocviewsublistonly td {
|
||||||
|
font-size: 90%;
|
||||||
}
|
}
|
||||||
|
|
||||||
.tocviewlink {
|
|
||||||
text-decoration: none;
|
|
||||||
color: blue;
|
|
||||||
}
|
|
||||||
|
|
||||||
.tocviewselflink {
|
|
||||||
text-decoration: underline;
|
|
||||||
color: blue;
|
|
||||||
}
|
|
||||||
|
|
||||||
.tocviewtoggle {
|
.tocviewtoggle {
|
||||||
text-decoration: none;
|
|
||||||
color: blue;
|
|
||||||
font-size: 75%; /* looks better, and avoids bounce when toggling sub-sections due to font alignments */
|
font-size: 75%; /* looks better, and avoids bounce when toggling sub-sections due to font alignments */
|
||||||
}
|
}
|
||||||
|
|
||||||
.tocsublist td {
|
.tocsublist td {
|
||||||
padding-left: 1em;
|
padding-left: 0.5rem;
|
||||||
text-indent: -1em;
|
padding-top: 0.25rem;
|
||||||
}
|
}
|
||||||
|
|
||||||
.tocsublinknumber {
|
.tocsublinknumber {
|
||||||
font-size: 82%;
|
font-size: 100%;
|
||||||
}
|
}
|
||||||
|
|
||||||
.tocsublink {
|
.tocsublink {
|
||||||
|
|
@ -320,22 +488,40 @@ table td {
|
||||||
}
|
}
|
||||||
|
|
||||||
.tocsubseclink {
|
.tocsubseclink {
|
||||||
font-size: 82%;
|
font-size: 100%;
|
||||||
text-decoration: none;
|
text-decoration: none;
|
||||||
}
|
}
|
||||||
|
|
||||||
.tocsubnonseclink {
|
.tocsubnonseclink {
|
||||||
font-size: 82%;
|
font-size: 82%;
|
||||||
text-decoration: none;
|
text-decoration: none;
|
||||||
padding-left: 0.5em;
|
margin-left: 1rem;
|
||||||
|
display: inline-block;
|
||||||
}
|
}
|
||||||
|
|
||||||
|
/* the label "on this page" */
|
||||||
.tocsubtitle {
|
.tocsubtitle {
|
||||||
font-size: 82%;
|
display: block;
|
||||||
font-style: italic;
|
font-size: 62%;
|
||||||
margin: 0.2em;
|
font-family: 'Fira';
|
||||||
|
font-weight: bolder;
|
||||||
|
letter-spacing: 2px;
|
||||||
|
text-transform: uppercase;
|
||||||
|
margin: 0.5em;
|
||||||
}
|
}
|
||||||
|
|
||||||
|
.toptoclink {
|
||||||
|
font-weight: bold;
|
||||||
|
font-size: 110%
|
||||||
|
}
|
||||||
|
|
||||||
|
/* hack to add space around .toptoclink because markup is all td */
|
||||||
|
.toptoclink:after {
|
||||||
|
content: " ";
|
||||||
|
font-size: 3rem;
|
||||||
|
}
|
||||||
|
|
||||||
|
|
||||||
/* ---------------------------------------- */
|
/* ---------------------------------------- */
|
||||||
/* Some inline styles */
|
/* Some inline styles */
|
||||||
|
|
||||||
|
|
@ -347,8 +533,12 @@ table td {
|
||||||
white-space: nowrap;
|
white-space: nowrap;
|
||||||
}
|
}
|
||||||
|
|
||||||
pre { margin-left: 2em; }
|
pre {
|
||||||
blockquote { margin-left: 2em; }
|
/* margin-left: 2em; */
|
||||||
|
}
|
||||||
|
blockquote {
|
||||||
|
/* margin-left: 2em; */
|
||||||
|
}
|
||||||
|
|
||||||
ol { list-style-type: decimal; }
|
ol { list-style-type: decimal; }
|
||||||
ol ol { list-style-type: lower-alpha; }
|
ol ol { list-style-type: lower-alpha; }
|
||||||
|
|
@ -356,22 +546,52 @@ ol ol ol { list-style-type: lower-roman; }
|
||||||
ol ol ol ol { list-style-type: upper-alpha; }
|
ol ol ol ol { list-style-type: upper-alpha; }
|
||||||
|
|
||||||
.SCodeFlow {
|
.SCodeFlow {
|
||||||
display: block;
|
border-left: 1px dotted black;
|
||||||
margin-left: 1em;
|
padding-left: 1em;
|
||||||
margin-bottom: 0em;
|
padding-right: 1em;
|
||||||
margin-right: 1em;
|
margin-top: 1em;
|
||||||
margin-top: 0em;
|
margin-bottom: 1em;
|
||||||
white-space: nowrap;
|
margin-left: 0em;
|
||||||
|
margin-right: 2em;
|
||||||
|
white-space: nowrap;
|
||||||
|
line-height: 1.4em;
|
||||||
}
|
}
|
||||||
|
|
||||||
.SVInsetFlow {
|
.SCodeFlow img {
|
||||||
display: block;
|
margin-top: 0.5em;
|
||||||
margin-left: 0em;
|
margin-bottom: 0.5em;
|
||||||
margin-bottom: 0em;
|
|
||||||
margin-right: 0em;
|
|
||||||
margin-top: 0em;
|
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
.SVInsetFlow, .SIntrapara > table.RBoxed {
|
||||||
|
margin-top: 2em;
|
||||||
|
padding: 0.25em;
|
||||||
|
padding-bottom: 0.5em;
|
||||||
|
background: #f3f3f3;
|
||||||
|
box-sizing:border-box;
|
||||||
|
border-top: 1px solid #99b;
|
||||||
|
background: hsl(216, 78%, 95%);
|
||||||
|
background: -moz-linear-gradient(to bottom left, hsl(0, 0%, 99%) 0%, hsl(216, 78%, 95%) 100%);
|
||||||
|
background: -webkit-linear-gradient(to bottom left, hsl(0, 0%, 99%) 0%, hsl(216, 78%, 95%) 100%);
|
||||||
|
background: -o-linear-gradient(to bottom left, hsl(0, 0%, 99%) 0%, hsl(216, 78%, 95%) 100%);
|
||||||
|
background: -ms-linear-gradient(to bottom left, hsl(0, 0%, 99%) 0%, hsl(216, 78%, 95%) 100%);
|
||||||
|
background: linear-gradient(to bottom left, hsl(0, 0%, 99%) 0%, hsl(216, 78%, 95%) 100%);
|
||||||
|
|
||||||
|
}
|
||||||
|
|
||||||
|
.leftindent .SVInsetFlow { /* see e.g. section 4.5 of Racket Guide */
|
||||||
|
margin-top: 1em;
|
||||||
|
margin-bottom: 1em;
|
||||||
|
}
|
||||||
|
|
||||||
|
.SVInsetFlow a, .SCodeFlow a {
|
||||||
|
color: #07A;
|
||||||
|
font-weight: 500;
|
||||||
|
}
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
.SubFlow {
|
.SubFlow {
|
||||||
display: block;
|
display: block;
|
||||||
margin: 0em;
|
margin: 0em;
|
||||||
|
|
@ -379,7 +599,6 @@ ol ol ol ol { list-style-type: upper-alpha; }
|
||||||
|
|
||||||
.boxed {
|
.boxed {
|
||||||
width: 100%;
|
width: 100%;
|
||||||
background-color: #E8E8FF;
|
|
||||||
}
|
}
|
||||||
|
|
||||||
.hspace {
|
.hspace {
|
||||||
|
|
@ -395,19 +614,8 @@ ol ol ol ol { list-style-type: upper-alpha; }
|
||||||
}
|
}
|
||||||
|
|
||||||
.plainlink {
|
.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 {
|
.SCentered {
|
||||||
text-align: center;
|
text-align: center;
|
||||||
|
|
@ -428,10 +636,13 @@ ol ol ol ol { list-style-type: upper-alpha; }
|
||||||
|
|
||||||
/* A hack, inserted to break some Scheme ids: */
|
/* A hack, inserted to break some Scheme ids: */
|
||||||
.mywbr {
|
.mywbr {
|
||||||
width: 0;
|
display: inline-block;
|
||||||
font-size: 1px;
|
height: 0;
|
||||||
|
width: 0;
|
||||||
|
font-size: 1px;
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
||||||
.compact li p {
|
.compact li p {
|
||||||
margin: 0em;
|
margin: 0em;
|
||||||
padding: 0em;
|
padding: 0em;
|
||||||
|
|
@ -442,14 +653,18 @@ ol ol ol ol { list-style-type: upper-alpha; }
|
||||||
}
|
}
|
||||||
|
|
||||||
.SAuthorListBox {
|
.SAuthorListBox {
|
||||||
position: relative;
|
font-family: 'Fira';
|
||||||
float: right;
|
font-weight: 300;
|
||||||
left: 2em;
|
font-size: 110%;
|
||||||
top: -2.5em;
|
margin-top: 1rem;
|
||||||
height: 0em;
|
margin-bottom: 3rem;
|
||||||
width: 13em;
|
|
||||||
margin: 0em -13em 0em 0em;
|
|
||||||
}
|
}
|
||||||
|
|
||||||
|
.author > a { /* email links within author block */
|
||||||
|
font-weight: inherit;
|
||||||
|
color: inherit;
|
||||||
|
}
|
||||||
|
|
||||||
.SAuthorList {
|
.SAuthorList {
|
||||||
font-size: 82%;
|
font-size: 82%;
|
||||||
}
|
}
|
||||||
|
|
@ -461,6 +676,82 @@ ol ol ol ol { list-style-type: upper-alpha; }
|
||||||
white-space: nowrap;
|
white-space: nowrap;
|
||||||
}
|
}
|
||||||
|
|
||||||
|
/* phone + tablet styles */
|
||||||
|
|
||||||
|
@media all and (max-width:720px){
|
||||||
|
|
||||||
|
|
||||||
|
@media all and (max-width:720px){
|
||||||
|
|
||||||
|
@media all {html {font-size: 15px;}}
|
||||||
|
@media all and (max-width:700px){html {font-size: 14px;}}
|
||||||
|
@media all and (max-width:630px){html {font-size: 13px;}}
|
||||||
|
@media all and (max-width:610px){html {font-size: 12px;}}
|
||||||
|
@media all and (max-width:550px){html {font-size: 11px;}}
|
||||||
|
@media all and (max-width:520px){html {font-size: 10px;}}
|
||||||
|
|
||||||
|
.navsettop, .navsetbottom {
|
||||||
|
display: block;
|
||||||
|
position: absolute;
|
||||||
|
width: 100%;
|
||||||
|
height: 4rem;
|
||||||
|
border: 0;
|
||||||
|
background-color: hsl(216, 15%, 70%);
|
||||||
|
}
|
||||||
|
|
||||||
|
.searchform {
|
||||||
|
display: inline;
|
||||||
|
border: 0;
|
||||||
|
}
|
||||||
|
|
||||||
|
.navright {
|
||||||
|
position: absolute;
|
||||||
|
right: 1.5rem;
|
||||||
|
margin-top: 1rem;
|
||||||
|
border: 0px solid red;
|
||||||
|
}
|
||||||
|
|
||||||
|
.navsetbottom {
|
||||||
|
display: block;
|
||||||
|
margin-top: 8rem;
|
||||||
|
}
|
||||||
|
|
||||||
|
.tocset {
|
||||||
|
display: none;
|
||||||
|
}
|
||||||
|
|
||||||
|
.tocset table, .tocset tbody, .tocset tr, .tocset td {
|
||||||
|
display: inline;
|
||||||
|
}
|
||||||
|
|
||||||
|
.tocview {
|
||||||
|
display: none;
|
||||||
|
}
|
||||||
|
|
||||||
|
.tocsub .tocsubtitle {
|
||||||
|
display: none;
|
||||||
|
}
|
||||||
|
|
||||||
|
.versionbox {
|
||||||
|
top: 4.5rem;
|
||||||
|
left: 1rem; /* same distance as main-column */
|
||||||
|
z-index: 11000;
|
||||||
|
height: 2em;
|
||||||
|
font-size: 70%;
|
||||||
|
font-weight: lighter;
|
||||||
|
}
|
||||||
|
|
||||||
|
|
||||||
|
.maincolumn {
|
||||||
|
margin-left: 1em;
|
||||||
|
margin-top: 7rem;
|
||||||
|
margin-bottom: 0rem;
|
||||||
|
}
|
||||||
|
|
||||||
|
|
||||||
|
}
|
||||||
|
|
||||||
|
|
||||||
/* print styles : hide the navigation elements */
|
/* print styles : hide the navigation elements */
|
||||||
@media print {
|
@media print {
|
||||||
.tocset,
|
.tocset,
|
||||||
|
|
|
||||||
Loading…
Reference in New Issue
Block a user