From 9d722a0b6138827de743f9fe4acbf3f2c1830bb0 Mon Sep 17 00:00:00 2001 From: Marvin Borner Date: Mon, 6 Nov 2023 00:24:11 +0100 Subject: Started creating new docs with wiki --- docs/wiki_src/custom.css | 56 ++++++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 56 insertions(+) create mode 100644 docs/wiki_src/custom.css (limited to 'docs/wiki_src/custom.css') diff --git a/docs/wiki_src/custom.css b/docs/wiki_src/custom.css new file mode 100644 index 0000000..fdcea31 --- /dev/null +++ b/docs/wiki_src/custom.css @@ -0,0 +1,56 @@ +.headerlink { + display: none; +} + +h2,h3,h4,h5,h6 { + line-height: var(--global-line-height); + margin-bottom: 0.5em; +} + +.terminal h1 { + font-size: 2.33em; +} + +.terminal h1 > * { + font-size: inherit; +} + +.terminal h2 { + font-size: 1.83em; +} + +.terminal h2 > * { + font-size: inherit; +} + +.terminal h3{ + font-size: 1.50em; +} + +.terminal h3 > * { + font-size: inherit; +} + +.terminal h4 { + font-size: 1.33em; +} + +.terminal h4 > * { + font-size: inherit; +} + +.terminal h5 { + font-size: 1.16em; +} + +.terminal h5 > * { + font-size: inherit; +} + +.terminal h6 { + font-size: 1em; +} + +.terminal h6 > * { + font-size: inherit; +} -- cgit v1.2.3