aboutsummaryrefslogtreecommitdiff
path: root/maint/style.css
diff options
context:
space:
mode:
Diffstat (limited to 'maint/style.css')
-rw-r--r--maint/style.css85
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 */
2body {
3 margin-left: auto;
4 margin-right: auto;
5 max-width: 80em;
6 background-color: silver;
7 padding: 4px;
8}
9html {}
10div {
11 background-color: white;
12}
13
14div#content {
15 margin-top: 2em;
16 margin-left: 5%;
17 margin-right: 5%;
18 padding: 1em;
19 border: 1px solid black;
20}
21
22div#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;}
41p.verse { margin-left: 3% }
42pre {
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}
50table { border-collapse: collapse; }
51td, th { vertical-align: top; }
52th.right { text-align:center; }
53th.left { text-align:center; }
54th.center { text-align:center; }
55td.right { text-align:right; }
56td.left { text-align:left; }
57td.center { text-align:center; }
58dt { font-weight: bold; }
59div.figure { padding: 0.5em; }
60div.figure p { text-align: center; }
61div.inlinetask {
62 padding:10px;
63 border:2px solid gray;
64 margin:10px;
65 background: #ffffcc;
66}
67textarea { 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

Return to:

Send suggestions and report system problems to the System administrator.