projects
/
mkws-moved-to-github.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
update usage message
[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 {
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 {
}
h1, h2, h3, h4 {
@@
-8,7
+8,7
@@
h1, h2, h3, h4 {
font-family: Gill Sans, "Gillius ADF", Gillius, GilliusADF, Verdana, Sans-Serif;
}
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;
}
color: #68a;
text-decoration: none;
}
@@
-18,7
+18,7
@@
h2, h3 {
margin-bottom: -0.5em;
}
margin-bottom: -0.5em;
}
-h1 {
+h1.title {
background: #e0e8f8;
padding: 0.2em;
font-weight: normal;
background: #e0e8f8;
padding: 0.2em;
font-weight: normal;
@@
-34,10
+34,15
@@
h3.date {
color: black
}
color: black
}
-body > p, ul, ol, pre, table, h4 {
+body > p, ul, ol, pre, table, h4, blockquote {
margin-left: 10%;
}
margin-left: 10%;
}
+blockquote {
+ padding-left: 4em;
+ padding-right: 4em;
+}
+
p, ul {
max-width: 40em;
}
p, ul {
max-width: 40em;
}
@@
-64,13
+69,3
@@
table tr:nth-child(odd) {
table tr:nth-child(even) {
background: #bfdcf8;
}
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;
-}