diff options
Diffstat (limited to 'css/notebook.css')
| -rwxr-xr-x | css/notebook.css | 48 |
1 files changed, 48 insertions, 0 deletions
diff --git a/css/notebook.css b/css/notebook.css new file mode 100755 index 0000000..5816446 --- /dev/null +++ b/css/notebook.css @@ -0,0 +1,48 @@ +body { + max-width: 60em; + margin:0 auto; +} + +pre.example { + text-align:left; + border: 1pt solid #A0A0A0; + background-color: #F0F0F0; + padding: 1ch; + display: block; + clear: right; +} + +div.note { + border: 1pt solid #A0A0A0; + padding: 1ch; + display: block; +} + +p { + margin-left: auto; + margin-right: auto; +} + +pre { + border: 1pt solid #AEBDCC; + background-color: #F3F5F7; + padding: 5pt; + font-family: monospace; + font-size: small; + overflow:auto; +} + +h1 { + font-size: x-large; +} + +h2 { + font-size: large; +} + +html { font-family: serif; +} + +a:link, a:visited { + color: navy; +}
\ No newline at end of file |
