diff options
author | Joey Hess <joey@gnu.kitenet.net> | 2009-10-13 15:15:54 -0400 |
---|---|---|
committer | Joey Hess <joey@gnu.kitenet.net> | 2009-10-13 15:15:54 -0400 |
commit | ef7bddbc3693d7abf227100a9a9bc21d186dfada (patch) | |
tree | 1072bb7d7c29375b9008b3021bc1d2049eeaecca /doc/style.css | |
parent | f6402d22caeecf481826b60791d84cb53210f686 (diff) | |
parent | 046ac5fec5534e10b8e34b96014f936bb151d147 (diff) |
Merge branch 'dependency-types'
Conflicts:
doc/todo/dependency_types.mdwn
Diffstat (limited to 'doc/style.css')
-rw-r--r-- | doc/style.css | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/doc/style.css b/doc/style.css index 4770fc942..be86a0818 100644 --- a/doc/style.css +++ b/doc/style.css @@ -403,7 +403,6 @@ span.color { } /* Used by the highlight plugin. */ - pre.hl { color:#000000; background-color:#ffffff; } .hl.num { color:#2928ff; } .hl.esc { color:#ff00ff; } @@ -419,3 +418,7 @@ pre.hl { color:#000000; background-color:#ffffff; } .hl.kwb { color:#830000; } .hl.kwc { color:#000000; font-weight:bold; } .hl.kwd { color:#010181; } + +/* For the calendar plugin. */ +.month-calendar-day-this-day { background-color: #eee; } +.year-calendar-this-month { background-color: #eee; } |