chiark - git - mdw - odin-cgi/blob - static/odin.css

   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 }