Makes Simply Scheme's online book more enjoyable to read.
Simply Scheme Book by smbl64
Details
Authorsmbl64
LicenseNo License
Categoryhttps://people.eecs.berkeley.edu/~bh/ss
Created
Updated
Size2.0 kB
Statistics
Learn how we calculate statistics in the FAQ.
Failed to fetch stats.
Description
Notes
Userstyle doesn't have notes.Source code
/* ==UserStyle==
@name Simply Scheme Book
@version 20230408.21.24
@namespace userstyles.world/user/smbl64
@description Makes Simply Scheme's online book more enjoyable to read.
@author smbl64
@license No License
==/UserStyle== */
@-moz-document url-prefix("https://people.eecs.berkeley.edu/~bh/ss") {
@import url('https://fonts.googleapis.com/css2?family=Crimson+Text:ital,wght@0,400;0,600;1,400;1,600&family=Source+Code+Pro:wght@400;500&display=swap');
body {
font-family: 'Crimson Text', Georgia, serif;
font-size: 20px;
color: #222;
font-weight: 400;
max-width: 700px;
margin: 0 auto;
}
table {
font-size: inherit;
}
/* Hide the top menu and image */
body > table:first-of-type {
display: none;
}
p {
line-height: 1.4;
}
/* Ignore <big> tags */
big {
font-size: inherit;
}
pre,
code {
font-family: "Source Code Pro", Menlo, Consolas, Monaco, monospace;
font-size: 15px;
font-weight: 500;
background: #f8f4f1;
padding: 2px;
border-radius: 2px;
}
pre {
font-size: 14px;
padding: 8px 16px;
margin: 4px -16px;
}
h2 > code {
font-size: 22px;
}
a:link,
a:visited {
text-decoration: none;
}
a:hover,
a:active {
text-decoration: underline;
}
/* Footnotes */
a[name^="ft"],
a[href^="#ft"] {
font-size: 0.7em;
vertical-align: super;
/* Don't push paragraph lines down */
display: inline-block;
margin-top: -1em;
}
/* blockquote style copied from CSS Tricks
* https://css-tricks.com/snippets/css/simple-and-nice-blockquote-styling/
*/
blockquote {
background: #f9f9f9;
border-left: 10px solid #ccc;
margin: 1.5em 10px;
padding: 0.5em 10px;
quotes: "\201C""\201D""\2018""\2019";
}
blockquote:before {
color: #ccc;
content: open-quote;
font-size: 4em;
line-height: 0.1em;
margin-right: 0.25em;
vertical-align: -0.4em;
}
blockquote p {
display: inline;
}
}