diff options
Diffstat (limited to 'maint/style.css')
-rw-r--r-- | maint/style.css | 85 |
1 files changed, 85 insertions, 0 deletions
diff --git a/maint/style.css b/maint/style.css new file mode 100644 index 0000000..2304fb5 --- /dev/null +++ b/maint/style.css | |||
@@ -0,0 +1,85 @@ | |||
1 | /* Basic settings */ | ||
2 | body { | ||
3 | margin-left: auto; | ||
4 | margin-right: auto; | ||
5 | max-width: 80em; | ||
6 | background-color: silver; | ||
7 | padding: 4px; | ||
8 | } | ||
9 | html {} | ||
10 | div { | ||
11 | background-color: white; | ||
12 | } | ||
13 | |||
14 | div#content { | ||
15 | margin-top: 2em; | ||
16 | margin-left: 5%; | ||
17 | margin-right: 5%; | ||
18 | padding: 1em; | ||
19 | border: 1px solid black; | ||
20 | } | ||
21 | |||
22 | div#postamble { | ||
23 | margin-bottom: 2em; | ||
24 | margin-left: 5%; | ||
25 | margin-right: 5%; | ||
26 | border: 1px solid black; | ||
27 | font-size: 80%; | ||
28 | padding: 4px; | ||
29 | } | ||
30 | |||
31 | .title { text-align: center; } | ||
32 | .todo { color: red; } | ||
33 | .done { color: green; } | ||
34 | .tag { background-color: #add8e6; font-weight:normal } | ||
35 | .target { } | ||
36 | .timestamp { color: #bebebe; } | ||
37 | .timestamp-kwd { color: #5f9ea0; } | ||
38 | .right {margin-left:auto; margin-right:0px; text-align:right;} | ||
39 | .left {margin-left:0px; margin-right:auto; text-align:left;} | ||
40 | .center {margin-left:auto; margin-right:auto; text-align:center;} | ||
41 | p.verse { margin-left: 3% } | ||
42 | pre { | ||
43 | border: 1pt solid #AEBDCC; | ||
44 | background-color: #F3F5F7; | ||
45 | padding: 5pt; | ||
46 | font-family: courier, monospace; | ||
47 | font-size: 90%; | ||
48 | overflow:auto; | ||
49 | } | ||
50 | table { border-collapse: collapse; } | ||
51 | td, th { vertical-align: top; } | ||
52 | th.right { text-align:center; } | ||
53 | th.left { text-align:center; } | ||
54 | th.center { text-align:center; } | ||
55 | td.right { text-align:right; } | ||
56 | td.left { text-align:left; } | ||
57 | td.center { text-align:center; } | ||
58 | dt { font-weight: bold; } | ||
59 | div.figure { padding: 0.5em; } | ||
60 | div.figure p { text-align: center; } | ||
61 | div.inlinetask { | ||
62 | padding:10px; | ||
63 | border:2px solid gray; | ||
64 | margin:10px; | ||
65 | background: #ffffcc; | ||
66 | } | ||
67 | textarea { overflow-x: auto; } | ||
68 | .linenr { font-size:smaller } | ||
69 | .code-highlighted { | ||
70 | background-color:#ffff00; | ||
71 | } | ||
72 | .org-info-js_info-navigation { | ||
73 | border-style:none; | ||
74 | } | ||
75 | #org-info-js_console-label { | ||
76 | font-size:10px; | ||
77 | font-weight:bold; | ||
78 | white-space:nowrap; | ||
79 | } | ||
80 | .org-info-js_search-highlight { | ||
81 | background-color:#ffff00; | ||
82 | color:#000000; | ||
83 | font-weight:bold; | ||
84 | } | ||
85 | |||