020ec63b |
1 | html { font-family: "Lucida Grande","Trebuchet MS",sans-serif; font-size: 12pt; } |
2 | body { max-width: 60em; } |
3 | .title { text-align: center; } |
4 | .todo { color: red; } |
5 | .done { color: green; } |
6 | .tag { background-color:lightblue; font-weight:normal } |
7 | .target { } |
8 | .timestamp { color: grey } |
9 | .timestamp-kwd { color: CadetBlue } |
10 | p.verse { margin-left: 3% } |
11 | pre { |
12 | border: 1pt solid #AEBDCC; |
13 | background-color: #F3F5F7; |
14 | padding: 5pt; |
15 | font-family: monospace; |
16 | font-size: 90%; |
17 | overflow:auto; |
18 | } |
19 | pre.src { |
20 | background-color: #eee; color: #112; border: 1px solid #000; |
21 | } |
22 | table { border-collapse: collapse; } |
23 | td, th { vertical-align: top; } |
24 | dt { font-weight: bold; } |
25 | div.figure { padding: 0.5em; } |
26 | div.figure p { text-align: center; } |
27 | .linenr { font-size:smaller } |
28 | .code-highlighted {background-color:#ffff00;} |
29 | .org-info-js_info-navigation { border-style:none; } |
30 | #org-info-js_console-label { font-size:10px; font-weight:bold; |
31 | white-space:nowrap; } |
32 | .org-info-js_search-highlight {background-color:#ffff00; color:#000000; |
33 | font-weight:bold; } |
34 | |
35 | sup { |
36 | vertical-align: baseline; |
37 | position: relative; |
38 | top: -0.5em; |
39 | font-size: 80%; |
40 | } |
41 | |
42 | sup a:link, sup a:visited { |
43 | text-decoration: none; |
44 | color: #c00; |
45 | } |
46 | |
47 | sup a:before { content: "["; color: #999; } |
48 | sup a:after { content: "]"; color: #999; } |
49 | |
50 | h1.title { border-bottom: 4px solid #000; padding-bottom: 5px; margin-bottom: 2em; } |
51 | |
52 | #postamble { |
53 | color: #777; |
54 | font-size: 90%; |
55 | padding-top: 1em; padding-bottom: 1em; border-top: 1px solid #999; |
56 | margin-top: 2em; |
57 | padding-left: 2em; |
58 | padding-right: 2em; |
59 | text-align: right; |
60 | } |
61 | |
62 | #postamble p { margin: 0; } |
63 | |
64 | #footnotes { border-top: 1px solid #000; } |
65 | |
66 | h1 { font-size: 200% } |
67 | h2 { font-size: 175% } |
68 | h3 { font-size: 150% } |
69 | h4 { font-size: 125% } |
70 | |
71 | h1, h2, h3, h4 { font-family: "Bookman",Georgia,"Times New Roman",serif; font-weight: normal; } |
72 | |
73 | @media print { |
74 | html { font-size: 11pt; } |
75 | } |