.. |
docs
|
268019ad58
Opened a "News" section and moved USENIX info under it.
|
vor 8 Jahren |
harvey-theme
|
1f2bf8e0b2
Fixes website's top menu jumpiness when screen < 1000px wide.
|
vor 8 Jahren |
.gitignore
|
1f2bf8e0b2
Fixes website's top menu jumpiness when screen < 1000px wide.
|
vor 8 Jahren |
mkdocs.yml
|
268019ad58
Opened a "News" section and moved USENIX info under it.
|
vor 8 Jahren |
runlocal.sh
|
0191cb6c21
website overhaul (get rid of lorem ipsum, put in a minor style change)
|
vor 8 Jahren |