| 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 | |
| 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; } |
| 67 | |
| 68 | div.note { |
| 69 | border: solid red; |
| 70 | padding: 1ex; |
| 71 | margin: 2ex; |
| 72 | } |