Use the LGPL instead of the GPL.

[mkws-moved-to-github.git] / doc / mkws-doc.css

diff --git a/doc/mkws-doc.css b/doc/mkws-doc.css
index a58c10f..0eb4a34 100644 (file)
--- a/doc/mkws-doc.css
+++ b/doc/mkws-doc.css
@@ -1,5 +1,5 @@
 body {
-    font-family: Times, "Times Roman", "Times New Roman";
+    font-family: Baskerville, "Baskervald ADF Std", "Times New Roman", "Times Roman", Times;
 }
 
 h1, h2, h3, h4 {
@@ -8,7 +8,7 @@ h1, h2, h3, h4 {
     font-family: Gill Sans, "Gillius ADF", Gillius, GilliusADF, Verdana, Sans-Serif;
 }
 
-h2 a, h3 a, h4 a, div#TOC a {
+h1 a, h2 a, h3 a, h4 a, div#TOC a {
     color: #68a;
     text-decoration: none;
 }
@@ -18,7 +18,7 @@ h2, h3 {
     margin-bottom: -0.5em;
 }
 
-h1 {
+h1.title {
     background: #e0e8f8;
     padding: 0.2em;
     font-weight: normal;
@@ -34,10 +34,15 @@ h3.date {
     color: black
 }
 
-body > p, ul, ol, pre, table, h4 {
+body > p, ul, ol, pre, table, h4, blockquote {
     margin-left: 10%;
 }
 
+blockquote {
+    padding-left: 4em;
+    padding-right: 4em;
+}
+
 p, ul {
     max-width: 40em;
 }
@@ -64,13 +69,3 @@ table tr:nth-child(odd) {
 table tr:nth-child(even) {
     background: #bfdcf8;
 }
-
-/*
- * Works with the HTML emitted by pandoc. It would better if pandoc
- * were to emit class names that we can use. But it doesn't.
- */  
-body > p:last-of-type {
-    font-size: small;
-    max-width: none;
-    text-align: right;
-}