make the h1 font slightly larger and bold

[don.git] / local.css

diff --git a/local.css b/local.css
index 35e16359a6a6bdbf41ef672f9881cbc2a938e4c5..dc0a2226969faaed683b87758575aedea03ef89d 100644 (file)
--- a/local.css
+++ b/local.css
@@ -5,6 +5,8 @@
  * local.css and use it to override or change settings in this one.
  */
 
+@import url("/fonts/liberationserif/stylesheet.css");
+
 /* html5 compat */
 article,
 header,
@@ -385,21 +387,21 @@ input#searchbox {
 }
 
 /* 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; }
+pre.hl { color:#404048; background-color:#ddf; }
+.hl.num { color:#2020ff; }
+.hl.esc { color:#005858; }
+.hl.str { color:#2020ff; }
+.hl.dstr { color:#2020ff; }
+.hl.slc { color:#2020ff; font-style:italic; }
+.hl.com { color:#ff00c0; font-style:italic; }
 .hl.dir { color:#008200; }
-.hl.sym { color:#000000; }
-.hl.line { color:#555555; }
+.hl.sym { color:#404048; }
+.hl.line { color:#ff00c0; }
 .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; }
+.hl.kwa { color:#008858; font-weight:bold; }
+.hl.kwb { color:#7040ff; font-weight:bold;}
+.hl.kwc { color:#87002f; font-weight:bold; }
+.hl.kwd { color:#404048; font-weight:bold;}
 
 /* calendar plugin */
 .month-calendar-day-this-day,
@@ -548,7 +550,7 @@ pre {
 body {
        margin: 0;
        padding: 0;
-       font-family: sans-serif;
+       font-family: "liberation_serifregular",sans-serif;
        color: black;
        background: white;
 }
@@ -562,13 +564,18 @@ body {
        border-color: #999;
        border-style: none none solid none;
        border-width: 1px;
-        background-image: url('/images/da_background.jpg');
-        background-repeat: no-repeat;
+    background-image: url('/images/da_background.jpg');
+    background-repeat: no-repeat;
+    background-size: 100% 100%;
 }
 
 .pageheader .header {
        float: left;
        font-size: 120%;
+    background-color: rgba(255, 255, 255, 0.8);
+    border-radius: 0.5em;
+    box-shadow: 4px 4px rgba(0, 0, 0, 0.2);
+    padding: 0.25em;
 }
 
 .header {
@@ -578,7 +585,7 @@ body {
 .title {
        display: block;
        margin-top: .2em;
-       font: 140% sans-serif;
+       font: 180% "liberation_serifregular", san-serif;
 }
 
 #searchform {
@@ -615,9 +622,9 @@ body {
        font-size: 120%;
 }
 
-h1 { font: 120% sans-serif }
-h2 { font: bold 100% sans-serif }
-h3, h4, h5, h6 { font: bold 80% sans-serif }
+h1 { font: 140% "liberation_serifbold", sans-serif }
+h2 { font: 100% "liberation_serifbold",sans-serif }
+h3, h4, h5, h6 { font: 80% "liberation_serifbold",sans-serif }
 
 /* Smaller headings for inline pages */
 .inlinepage h1 { font-size: 110% }
@@ -655,10 +662,13 @@ div.recentchanges {
 }
 
 .sidebar {
-        border-bottom: 0;
-       border-right: 0;
+    border-bottom: 0;
+    border-right: 0;
        border-top: 0;
        margin-top: 0.5em;
        padding: 0 0 0 2ex;
        border-color: #999;
 }
+.sidebar p {
+    font-size: 120%;
+}