11 font-family:"PT Serif", serif;
12 text-rendering:optimizeLegibility;
18 font-family:"Open Sans","Deja Vu Sans", Georgia, sans;
25 font-family:"Open Sans","Deja Vu Sans", Georgia, sans;
42 #banner nav a:link,#banner nav a:visited {
51 font-family:"Open Sans","Deja Vu Sans", Georgia, sans;
99 list-style-type:lower-latin;
113 background-color:#f5ebe1;
115 border-color:#585858;
123 font-family:"Open Sans", Inconsolata, "Deja Vu Sans Mono", monospace;
143 .figure img,.figure svg {
150 border:1px solid #585858;
173 background-color:#4a858c;
186 .drawer :last-child {
191 background-color:#a52a2a;
233 font-variant:small-caps;
242 a,a:hover,#banner nav a:hover,#banner nav a:active,#banner nav .active a:link,#banner nav .active a:visited {
253 -webkit-column-count:2;
268 h1,#table-of-contents {
270 -webkit-column-span:2;
274 border:1pt solid #585858;
278 .drawer h6,.drawer p {
285 text-decoration:none;
289 #MathJax_Message,#taglist,svg button {