X-Git-Url: http://git.vanrenterghem.biz/git.ikiwiki.info.git/blobdiff_plain/446740cfbb621200ba8f7262a06959dbe24e2d8f..e8f6c06ca81e4ebd8d244e3863d21517d87b6620:/doc/style.css diff --git a/doc/style.css b/doc/style.css index 9086c5023..317d4c7aa 100644 --- a/doc/style.css +++ b/doc/style.css @@ -23,6 +23,12 @@ margin: 0; padding: 6px; list-style-type: none; +} +.actions li { + display: inline; + padding: .2em .4em; +} +.pageheader .actions ul { border-bottom: 1px solid #000; } @@ -30,18 +36,29 @@ border-bottom: 0; } -div.inlinecontent { - margin-top: .4em; +#otherlanguages ul { + margin: 0; + padding: 6px; + list-style-type: none; } - -.actions li { +#otherlanguages li { display: inline; padding: .2em .4em; } +.pageheader #otherlanguages { + border-bottom: 1px solid #000; +} + +div.inlinecontent { + margin-top: .4em; +} .pagefooter { clear: both; } +.inlinefooter { + clear: both; +} .tags { } @@ -65,6 +82,14 @@ div.tags { text-align: center; } +.align-left { + float:left; +} + +.align-right { + float:right; +} + #backlinks { margin-top: 1em; } @@ -339,11 +364,6 @@ input#searchbox { border: 2px solid; background-color: #dee; color: black; - - /* Nonstandard, but very nice. */ - opacity: 0.95; - -moz-opacity: 0.95; - filter: alpha(opacity=95); } /* Formbuilder styling */ @@ -372,3 +392,41 @@ legend { span.color { padding: 2px; } + +.comment-header, +.microblog-header { + font-style: italic; + margin-top: .3em; +} +.comment .author, +.microblog .author { + font-weight: bold; +} +.comment-subject { + font-weight: bold; +} +.comment { + border: 1px solid #aaa; + padding: 3px; +} + +/* Used by the highlight plugin. */ +pre.hl { color:#000000; background-color:#ffffff; } +.hl.num { color:#2928ff; } +.hl.esc { color:#ff00ff; } +.hl.str { color:#ff0000; } +.hl.dstr { color:#818100; } +.hl.slc { color:#838183; font-style:italic; } +.hl.com { color:#838183; font-style:italic; } +.hl.dir { color:#008200; } +.hl.sym { color:#000000; } +.hl.line { color:#555555; } +.hl.mark { background-color:#ffffbb; } +.hl.kwa { color:#000000; font-weight:bold; } +.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; }