add some style stuff

2020-08-18 10:33:25 +02:00 · 2020-08-18 10:33:25 +02:00 · 22b4411641
commit 22b4411641
parent 2872dca785
109 changed files with 699 additions and 1 deletions
--- a/.gitattributes
+++ b/.gitattributes
@ -0,0 +1,5 @@
+*.eot filter=lfs diff=lfs merge=lfs -text
+*.ttf filter=lfs diff=lfs merge=lfs -text
+*.woff filter=lfs diff=lfs merge=lfs -text
+*.woff2 filter=lfs diff=lfs merge=lfs -text
+style/fonts/**/*.svg filter=lfs diff=lfs merge=lfs -text
--- a/10
+++ b/10
@ -7,17 +7,25 @@ TEMPLATE ?= $(DATADIR)/template.html
 PAGES != find $(PAGESDIR) -name '*.md'
 OUTPUTPAGES = $(patsubst $(PAGESDIR)/%.md,$(BUILDDIR)/%.html,$(PAGES))

+STYLE != find style -type f
+OUTPUTSTYLE = $(patsubst %,$(BUILDDIR)/%,$(STYLE))
+
+OUTPUT = $(OUTPUTPAGES) $(OUTPUTSTYLE)

 .PHONY: all
 all: build

 .PHONY: build
-build: $(OUTPUTPAGES)
+build: $(OUTPUT)

 $(BUILDDIR)/%.html: $(PAGESDIR)/%.md $(TEMPLATE)
 	mkdir -p $(dir $@)
 	pandoc -s --toc --template $(TEMPLATE) -o $@ $<

+$(BUILDDIR)/%: %
+	mkdir -p $(dir $@)
+	cp $< $@
+
 .PHONY: clean distclean
 clean:
 	rm -rf $(BUILDDIR)
--- a/data/template.html
+++ b/data/template.html
@ -2,6 +2,7 @@
 <html lang=$lang$$if(dir)$ dir=$dir$$endif$>
 <meta charset=utf-8>

+<link rel=stylesheet href=/style/page.css>
 $for(css)$
 <link rel=stylesheet href=/style/$css$>
 $endfor$
@ -32,7 +33,9 @@ $if(toc)$
 </nav>
 $endif$

+<main>
 $body$
+</main>

 $for(include-after)$
 $include-after$
--- a/style/counters.css
+++ b/style/counters.css
@ -0,0 +1,62 @@
+:root {
+  --section-prefix: '§ ';
+}
+
+main h1 {
+  counter-increment: h1;
+  counter-reset: h2 h3 h4 h5 h6;
+}
+
+main h1::before {
+  content: var(--section-prefix) counter(h1);
+}
+
+main h2 {
+  counter-increment: h2;
+  counter-reset: h3 h4 h5 h6;
+}
+
+main h2::before {
+  content: var(--section-prefix) counter(h1) '.' counter(h2);
+}
+
+main h3 {
+  counter-increment: h3;
+  counter-reset: h4 h5 h6;
+}
+
+main h3::before {
+  content: var(--section-prefix) counter(h1) '.' counter(h2) '.' counter(h3);
+}
+
+main h4 {
+  counter-increment: h4;
+  counter-reset: h5 h6;
+}
+
+main h4::before {
+  content: var(--section-prefix)
+    counter(h1) '.' counter(h2) '.' counter(h3) '.' counter(h4);
+}
+
+main h5 {
+  counter-increment: h5;
+  counter-reset: h6;
+}
+
+main h5::before {
+  content: var(--section-prefix)
+    counter(h1) '.' counter(h2) '.' counter(h3) '.' counter(h4) '.'
+    counter(h5);
+}
+
+main h6 {
+  counter-increment: h6;
+}
+
+main h6::before {
+  content: var(--section-prefix)
+    counter(h1) '.' counter(h2) '.' counter(h3) '.' counter(h4) '.'
+    counter(h5) '.' counter(h6);
+}
+
--- a/style/fonts/andika/Andika-R.woff
+++ b/style/fonts/andika/Andika-R.woff
--- a/style/fonts/andika/andika.css
+++ b/style/fonts/andika/andika.css
@ -0,0 +1,4 @@
+@font-face {
+  font-family: Andika;
+  src: url(Andika-R.woff);
+}
--- a/style/fonts/muller/050.eot
+++ b/style/fonts/muller/050.eot
--- a/style/fonts/muller/050.svg
+++ b/style/fonts/muller/050.svg
--- a/style/fonts/muller/050.ttf
+++ b/style/fonts/muller/050.ttf
--- a/style/fonts/muller/050.woff
+++ b/style/fonts/muller/050.woff
--- a/style/fonts/muller/050.woff2
+++ b/style/fonts/muller/050.woff2
--- a/style/fonts/muller/050i.eot
+++ b/style/fonts/muller/050i.eot
--- a/style/fonts/muller/050i.svg
+++ b/style/fonts/muller/050i.svg
--- a/style/fonts/muller/050i.ttf
+++ b/style/fonts/muller/050i.ttf
--- a/style/fonts/muller/050i.woff
+++ b/style/fonts/muller/050i.woff
--- a/style/fonts/muller/050i.woff2
+++ b/style/fonts/muller/050i.woff2
--- a/style/fonts/muller/100.eot
+++ b/style/fonts/muller/100.eot
--- a/style/fonts/muller/100.svg
+++ b/style/fonts/muller/100.svg
--- a/style/fonts/muller/100.ttf
+++ b/style/fonts/muller/100.ttf
--- a/style/fonts/muller/100.woff
+++ b/style/fonts/muller/100.woff
--- a/style/fonts/muller/100.woff2
+++ b/style/fonts/muller/100.woff2
--- a/style/fonts/muller/100i.eot
+++ b/style/fonts/muller/100i.eot
--- a/style/fonts/muller/100i.svg
+++ b/style/fonts/muller/100i.svg
--- a/style/fonts/muller/100i.ttf
+++ b/style/fonts/muller/100i.ttf
--- a/style/fonts/muller/100i.woff
+++ b/style/fonts/muller/100i.woff
--- a/style/fonts/muller/100i.woff2
+++ b/style/fonts/muller/100i.woff2
--- a/style/fonts/muller/200.eot
+++ b/style/fonts/muller/200.eot
--- a/style/fonts/muller/200.svg
+++ b/style/fonts/muller/200.svg
--- a/style/fonts/muller/200.ttf
+++ b/style/fonts/muller/200.ttf
--- a/style/fonts/muller/200.woff
+++ b/style/fonts/muller/200.woff
--- a/style/fonts/muller/200.woff2
+++ b/style/fonts/muller/200.woff2
--- a/style/fonts/muller/200i.eot
+++ b/style/fonts/muller/200i.eot
--- a/style/fonts/muller/200i.svg
+++ b/style/fonts/muller/200i.svg
--- a/style/fonts/muller/200i.ttf
+++ b/style/fonts/muller/200i.ttf
--- a/style/fonts/muller/200i.woff
+++ b/style/fonts/muller/200i.woff
--- a/style/fonts/muller/200i.woff2
+++ b/style/fonts/muller/200i.woff2
--- a/style/fonts/muller/300.eot
+++ b/style/fonts/muller/300.eot
--- a/style/fonts/muller/300.svg
+++ b/style/fonts/muller/300.svg
--- a/style/fonts/muller/300.ttf
+++ b/style/fonts/muller/300.ttf
--- a/style/fonts/muller/300.woff
+++ b/style/fonts/muller/300.woff
--- a/style/fonts/muller/300.woff2
+++ b/style/fonts/muller/300.woff2
--- a/style/fonts/muller/300i.eot
+++ b/style/fonts/muller/300i.eot
--- a/style/fonts/muller/300i.svg
+++ b/style/fonts/muller/300i.svg
--- a/style/fonts/muller/300i.ttf
+++ b/style/fonts/muller/300i.ttf
--- a/style/fonts/muller/300i.woff
+++ b/style/fonts/muller/300i.woff
--- a/style/fonts/muller/300i.woff2
+++ b/style/fonts/muller/300i.woff2
--- a/style/fonts/muller/400.eot
+++ b/style/fonts/muller/400.eot
--- a/style/fonts/muller/400.svg
+++ b/style/fonts/muller/400.svg
--- a/style/fonts/muller/400.ttf
+++ b/style/fonts/muller/400.ttf
--- a/style/fonts/muller/400.woff
+++ b/style/fonts/muller/400.woff
--- a/style/fonts/muller/400.woff2
+++ b/style/fonts/muller/400.woff2
--- a/style/fonts/muller/400i.eot
+++ b/style/fonts/muller/400i.eot
--- a/style/fonts/muller/400i.svg
+++ b/style/fonts/muller/400i.svg
--- a/style/fonts/muller/400i.ttf
+++ b/style/fonts/muller/400i.ttf
--- a/style/fonts/muller/400i.woff
+++ b/style/fonts/muller/400i.woff
--- a/style/fonts/muller/400i.woff2
+++ b/style/fonts/muller/400i.woff2
--- a/style/fonts/muller/500.eot
+++ b/style/fonts/muller/500.eot
--- a/style/fonts/muller/500.svg
+++ b/style/fonts/muller/500.svg
--- a/style/fonts/muller/500.ttf
+++ b/style/fonts/muller/500.ttf
--- a/style/fonts/muller/500.woff
+++ b/style/fonts/muller/500.woff
--- a/style/fonts/muller/500.woff2
+++ b/style/fonts/muller/500.woff2
--- a/style/fonts/muller/500i.eot
+++ b/style/fonts/muller/500i.eot
--- a/style/fonts/muller/500i.svg
+++ b/style/fonts/muller/500i.svg
--- a/style/fonts/muller/500i.ttf
+++ b/style/fonts/muller/500i.ttf
--- a/style/fonts/muller/500i.woff
+++ b/style/fonts/muller/500i.woff
--- a/style/fonts/muller/500i.woff2
+++ b/style/fonts/muller/500i.woff2
--- a/style/fonts/muller/600.eot
+++ b/style/fonts/muller/600.eot
--- a/style/fonts/muller/600.svg
+++ b/style/fonts/muller/600.svg
--- a/style/fonts/muller/600.ttf
+++ b/style/fonts/muller/600.ttf
--- a/style/fonts/muller/600.woff
+++ b/style/fonts/muller/600.woff
--- a/style/fonts/muller/600.woff2
+++ b/style/fonts/muller/600.woff2
--- a/style/fonts/muller/600i.eot
+++ b/style/fonts/muller/600i.eot
--- a/style/fonts/muller/600i.svg
+++ b/style/fonts/muller/600i.svg
--- a/style/fonts/muller/600i.ttf
+++ b/style/fonts/muller/600i.ttf
--- a/style/fonts/muller/600i.woff
+++ b/style/fonts/muller/600i.woff
--- a/style/fonts/muller/600i.woff2
+++ b/style/fonts/muller/600i.woff2
--- a/style/fonts/muller/700.eot
+++ b/style/fonts/muller/700.eot
--- a/style/fonts/muller/700.svg
+++ b/style/fonts/muller/700.svg
--- a/style/fonts/muller/700.ttf
+++ b/style/fonts/muller/700.ttf
--- a/style/fonts/muller/700.woff
+++ b/style/fonts/muller/700.woff
--- a/style/fonts/muller/700.woff2
+++ b/style/fonts/muller/700.woff2
--- a/style/fonts/muller/700i.eot
+++ b/style/fonts/muller/700i.eot
--- a/style/fonts/muller/700i.svg
+++ b/style/fonts/muller/700i.svg
--- a/style/fonts/muller/700i.ttf
+++ b/style/fonts/muller/700i.ttf
--- a/style/fonts/muller/700i.woff
+++ b/style/fonts/muller/700i.woff
--- a/style/fonts/muller/700i.woff2
+++ b/style/fonts/muller/700i.woff2
--- a/style/fonts/muller/800.eot
+++ b/style/fonts/muller/800.eot
--- a/style/fonts/muller/800.svg
+++ b/style/fonts/muller/800.svg
--- a/style/fonts/muller/800.ttf
+++ b/style/fonts/muller/800.ttf
--- a/style/fonts/muller/800.woff
+++ b/style/fonts/muller/800.woff
--- a/style/fonts/muller/800.woff2
+++ b/style/fonts/muller/800.woff2
--- a/style/fonts/muller/800i.eot
+++ b/style/fonts/muller/800i.eot
--- a/style/fonts/muller/800i.svg
+++ b/style/fonts/muller/800i.svg
--- a/style/fonts/muller/800i.ttf
+++ b/style/fonts/muller/800i.ttf
--- a/style/fonts/muller/800i.woff
+++ b/style/fonts/muller/800i.woff
--- a/style/fonts/muller/800i.woff2
+++ b/style/fonts/muller/800i.woff2
--- a/style/fonts/muller/900.eot
+++ b/style/fonts/muller/900.eot
--- a/style/fonts/muller/900.svg
+++ b/style/fonts/muller/900.svg
--- a/style/fonts/muller/900.ttf
+++ b/style/fonts/muller/900.ttf
--- a/style/fonts/muller/900.woff
+++ b/style/fonts/muller/900.woff
--- a/Show more
+++ b/Show more