chiark / gitweb /
The official `plain text' language is `txt'.
[odin-cgi] / static / odin.css
1 div.footer {
2         margin-top: 2ex;
3         border-top: solid thin black;
4         padding-top: 1ex;
5         clear: both;
6         text-align: right;
7         font-style: italic;
8 }
9
10 div.menu {
11         border-bottom: solid thin black;
12         padding-bottom: 1ex;
13         margin-bottom: 2ex;
14 }
15
16 div.menu > .item:first-child:before {
17         content: ""
18 }
19
20 div.menu > .item:before {
21         content: " | "
22 }
23
24 .invis {
25         display: none;
26 }
27
28 .num                            { color: #a5a50b; }
29 .esc, .str, .dstr, .pps         { color: #188fb6; }
30 .com, .slc                      { color: #2e8b57; font-style: italic; }
31 .dir, .kwa, .kwb, .kwc, .ppc    { color: #000000; font-weight: bold; }
32 .kwd                            { color: #000000; }
33 .sym, .opt                      { color: #c7831d; }
34 .line                           { color: #555555; }
35
36 input#url { min-width: 48em; }
37 input#title { min-width: 24em; }
38
39 div.pastebin { float: left; }
40 div.paste-widgets { text-align: center; margin: 1ex; }
41
42 div.note {
43         border: solid red;
44         padding: 1ex;
45         margin: 2ex;
46 }