summaryrefslogtreecommitdiff
path: root/docs/_static/custom.css
diff options
context:
space:
mode:
authorGereon Kremer <gereon.kremer@cs.rwth-aachen.de>2021-04-22 21:38:57 +0200
committerGitHub <noreply@github.com>2021-04-22 19:38:57 +0000
commit69992245e3d2326ca8ecf2295a7e03d395046fc1 (patch)
treeb165e5472cc03856e074eaa54d1a6528dd1c13b2 /docs/_static/custom.css
parent0869a09f1161480de24c412b12954fc84943bab2 (diff)
Add API documentation for statistics (#6364)
This PR adds documentation for api::Statistics and api::Stat, as well as further explanations in sphinx. It also adds a custom css to our sphinx theme that slightly changes how inline code blocks look.
Diffstat (limited to 'docs/_static/custom.css')
-rw-r--r--docs/_static/custom.css11
1 files changed, 11 insertions, 0 deletions
diff --git a/docs/_static/custom.css b/docs/_static/custom.css
new file mode 100644
index 000000000..b2db580ef
--- /dev/null
+++ b/docs/_static/custom.css
@@ -0,0 +1,11 @@
+code {
+ border: 0px !important;
+}
+
+code.xref {
+ color: unset !important;
+}
+
+.rst-content code {
+ padding: 1px !important;
+}
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback