summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorViktor Kleen <viktor@kleen.org>2015-02-24 02:34:02 +0000
committerViktor Kleen <viktor@kleen.org>2015-02-24 02:34:02 +0000
commit45957d83ad71d966739717a7eed20bff920e571b (patch)
treec4d298bfc5586144651b07ddc8988f0666680713
parent96b014649d8397862de4d1b849b86968826c7d64 (diff)
downloaddirty-haskell.org-45957d83ad71d966739717a7eed20bff920e571b.tar
dirty-haskell.org-45957d83ad71d966739717a7eed20bff920e571b.tar.gz
dirty-haskell.org-45957d83ad71d966739717a7eed20bff920e571b.tar.bz2
dirty-haskell.org-45957d83ad71d966739717a7eed20bff920e571b.tar.xz
dirty-haskell.org-45957d83ad71d966739717a7eed20bff920e571b.zip
add theorem environments to style.css; this uses private patches for pandoc
-rw-r--r--posts/blog-architecture.md2
-rw-r--r--style.css55
2 files changed, 28 insertions, 29 deletions
diff --git a/posts/blog-architecture.md b/posts/blog-architecture.md
index be969de..37cce77 100644
--- a/posts/blog-architecture.md
+++ b/posts/blog-architecture.md
@@ -1,4 +1,4 @@
1% General Architecture of this "Blogging" System 1% An Outline of the Architecture of math.kleen.org
2 2
3The main idea behind this system is that my site is supposed to consist of 3The main idea behind this system is that my site is supposed to consist of
4*posts* which are organized into *lists of posts*. This mapping is not assumed 4*posts* which are organized into *lists of posts*. This mapping is not assumed
diff --git a/style.css b/style.css
index ef9e2a5..f614f8e 100644
--- a/style.css
+++ b/style.css
@@ -18,47 +18,46 @@ body {
18 display: inline; 18 display: inline;
19} 19}
20 20
21a { 21div.theorem:before {
22 color: inherit; 22 content: "Theorem.";
23 font-weight: bold;
23} 24}
24 25
25p { 26div.theorem div.lemma div.proposition div.definition div.corollary {
26 margin-bottom: 0 27 text-indent: 2em;
28 margin-top: 1em;
29 margin-bottom: 1em;
27} 30}
28 31
29p + p { 32div.lemma:before {
30 text-indent: 1.5em; 33 content: "Lemma.";
31 margin-top: 0 34 font-weight: bold;
32} 35}
33 36
34nav#top-level { 37div.proposition:before {
35 border-bottom: 1px solid grey; 38 content: "Proposition.";
36 border-top: 1px solid grey; 39 font-weight: bold;
37 display: table;
38 text-align: center;
39 width: 100%;
40} 40}
41 41
42nav#top-level ul { 42div.definition:before {
43 display: table-row; 43 content: "Definition.";
44 font-weight: bold;
44} 45}
45 46
46nav#top-level ul li { 47div.corollary:before {
47 display: table-cell; 48 content: "Definition.";
49 font-weight: bold;
48} 50}
49 51
50nav#top-level ul li a { 52a {
51 display: inline-block;
52 width: 100%;
53 text-align: center;
54 text-decoration: none;
55 color: inherit; 53 color: inherit;
56 text-transform: uppercase;
57} 54}
58 55
59nav#top-level ul li a:hover { 56p {
60 display: inline-block; 57 margin-bottom: 0
61 width: 100%; 58}
62 text-align: center; 59
63 background: lightgrey; 60p + p {
61 text-indent: 1.5em;
62 margin-top: 0
64} 63}