]> git.vanrenterghem.biz Git - git.ikiwiki.info.git/blob - doc/css_market/bma.css
Use env hack in python scripts.
[git.ikiwiki.info.git] / doc / css_market / bma.css
1 /*
2  * local.css: stylesheet for subvert.org.uk.
3  * Copyright © 2008 Benjamin M. A'Lee <bma@subvert.org.uk>
4  * 
5  * This work is free software: you can redistribute it and/or modify
6  * it under the terms of the GNU General Public License, version 3,  as
7  * published by the Free Software Foundation.
8  * 
9  * This work is distributed in the hope that it will be useful,
10  * but WITHOUT ANY WARRANTY; without even the implied warranty of
11  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
12  * GNU General Public License for more details.
13  * 
14  * You should have received a copy of the GNU General Public License
15  * along with this work.  If not, see <http://www.gnu.org/licenses/>.
16  */
18 /* Positioning first. Colours at the end. */
20 body {
21     font-family: sans-serif;
22     margin: 0;
23     padding: 0;
24 }
26 #content {
27     margin: 1em 15em 0 1em;
28     padding: 2em 3em 4em 1.5em;
29     border: 1px solid;
30 }
32 #sidebar {
33     width: 10em;
34     min-height: 50%;
36     font-family: sans-serif;
37     text-align: left;
38     margin: 1em 1em 2em 1em;
39     line-height: 1em;
40     border: 1px solid;
41     
42     position: absolute;
43     right: 0;
44     top: 5; 
45 }
47 #sidebar h2 {
48     font-size: 1em;
49 }
52 .header {
53     padding: 1ex;
54     border-bottom: solid 1px;
55     margin: 0; 
56     font-size: 1.5em;
57 }
59 #footer {
60     border: 1px solid;
61     padding: .5em;
62     padding-left: 1em;
63     margin: 1em 15em 1em 1em;
64 }
66 .pagedate, .pagelicense, .pagecopyright {
67     margin-top: 0;
68     margin-bottom: 0;
69 }
71 #pageinfo {
72     border: none;
73 }
75 .inlinepage {
76     border: none;
77 }
79 .pagelicense p, .pagecopyright p {
80     display: inline;
81 }
83 pre {
84     overflow:   auto;
85     border:     solid;
86     border-width:   thin;
87     padding: 5px  10px;
88 }
90 /* Set colours here. */
92 body {
93     background: royalblue;
94 }
96 #content, #footer, .header {
97     background-color: silver; 
98     border-color: black;
99 }
101 #sidebar {
102     background-color: silver;
103     border-color: black;
106 pre, code {
107     background-color: #EEEEEE;