2 background-color: #F5F5F5;
3 border: 1px dashed blue
;
8 background-color: #F5F5F5;
22 /*float: left; needs tuning */
54 .pagedate, .pagelicense, .pagecopyright, .tags, #backlinks {
62 border: none
!important
;
65 background: none
!important
;
68 .pageheader .actions ul {
74 border-bottom: 1px solid
#000000;
82 border-top: 1px solid
#000000;
87 .month-calendar-day-this-day, .year-calendar-this-month {
88 background-color: #ffffff !important
;
92 vertical-align: super
;
100 /* Highlight plugin: use solarized-dark theme */
101 /*pre.hl { color:#93a1a1; background-color:#fdf6e3; border:none; }*/
102 pre
.hl
{ color:#93a1a1; background-color:#002b36; border:none
; }
103 li
.hl
{ margin-bottom:-10pt; }
104 .hl.num { color:#2aa198; font-weight:normal
; }
105 .hl.esc { color:#dc322f; font-weight:normal
; }
106 .hl.str { color:#dc322f; font-weight:normal
; }
107 .hl.pps { color:#cb4b16; font-weight:normal
; }
108 .hl.slc { color:#657b83; font-weight:normal
; }
109 .hl.com { color:#657b83; font-weight:normal
; }
110 .hl.ppc { color:#cb4b16; font-weight:normal
; }
111 .hl.opt { color:#6c71c4; font-weight:normal
; }
112 .hl.lin { color:#586e75; font-weight:normal
; }
113 .hl.kwa { color:#b58900; font-weight:normal
; }
114 .hl.kwb { color:#859900; font-weight:normal
; }
115 .hl.kwc { color:#268bd2; font-weight:normal
; }
116 .hl.kwd { color:#d33682; font-weight:normal
; }
This page took 0.046323 seconds and 5 git commands to generate.