Commit | Line | Data |
---|---|---|
128543b0 MW |
1 | /* -*-css-*- |
2 | * | |
3 | * Web styling for Odin services | |
4 | * | |
5 | * (c) 2015 Mark Wooding | |
6 | */ | |
7 | ||
8 | /*----- Licensing notice ---------------------------------------------------- | |
9 | * | |
10 | * This file is part of the `odin.gg' service, `odin-cgi'. | |
11 | * | |
12 | * `odin-cgi' is free software; you can redistribute it and/or modify | |
13 | * it under the terms of the GNU Affero General Public License as | |
14 | * published by the Free Software Foundation; either version 3 of the | |
15 | * License, or (at your option) any later version. | |
16 | * | |
17 | * `odin-cgi' is distributed in the hope that it will be useful, | |
18 | * but WITHOUT ANY WARRANTY; without even the implied warranty of | |
19 | * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the | |
20 | * GNU Affero General Public License for more details. | |
21 | * | |
22 | * You should have received a copy of the GNU Affero General Public | |
23 | * License along with `odin-cgi'; if not, see | |
24 | * <http://www.gnu.org/licenses/>. | |
25 | */ | |
26 | ||
be24e9af MW |
27 | div.footer { |
28 | margin-top: 2ex; | |
29 | border-top: solid thin black; | |
30 | padding-top: 1ex; | |
31 | clear: both; | |
32 | text-align: right; | |
33 | font-style: italic; | |
34 | } | |
35 | ||
36 | div.menu { | |
37 | border-bottom: solid thin black; | |
38 | padding-bottom: 1ex; | |
39 | margin-bottom: 2ex; | |
40 | } | |
41 | ||
42 | div.menu > .item:first-child:before { | |
43 | content: "" | |
44 | } | |
45 | ||
46 | div.menu > .item:before { | |
47 | content: " | " | |
48 | } | |
49 | ||
50 | .invis { | |
51 | display: none; | |
52 | } | |
53 | ||
54 | .num { color: #a5a50b; } | |
55 | .esc, .str, .dstr, .pps { color: #188fb6; } | |
56 | .com, .slc { color: #2e8b57; font-style: italic; } | |
57 | .dir, .kwa, .kwb, .kwc, .ppc { color: #000000; font-weight: bold; } | |
58 | .kwd { color: #000000; } | |
59 | .sym, .opt { color: #c7831d; } | |
60 | .line { color: #555555; } | |
61 | ||
62 | input#url { min-width: 48em; } | |
63 | input#title { min-width: 24em; } | |
64 | ||
65 | div.pastebin { float: left; } | |
66 | div.paste-widgets { text-align: center; margin: 1ex; } | |
7e455e62 MW |
67 | |
68 | div.note { | |
69 | border: solid red; | |
70 | padding: 1ex; | |
71 | margin: 2ex; | |
72 | } |