Docs site (#269)

* Set up documentation site using jekyll

* Add workflow for deploying docs

* Ini formatting is hard to read

* Add instructions on how to run docs locally

* Work through docs

* Remove content from README

* Miscellaneous fixes

* Fix artifact upload
This commit is contained in:
Frederik Ring
2023-09-16 11:54:39 +02:00
committed by GitHub
parent 336c5bed71
commit 0bb94a2f56
31 changed files with 1832 additions and 1433 deletions

View File

@@ -0,0 +1,7 @@
.site-title {
font-size: unset !important;
}
.main-content pre {
font-size: 1.1em;
}