80e23fc99948e2cfa3a2f1c009aa0b74fc176b03
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; }