3 border-top: solid thin black;
11 border-bottom: solid thin black;
16 div.menu > .item:first-child:before {
20 div.menu > .item:before {
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; }
36 input#url { min-width: 48em; }
37 input#title { min-width: 24em; }
39 div.pastebin { float: left; }
40 div.paste-widgets { text-align: center; margin: 1ex; }