Several theme changes (#659)

* Several theme changes

- Add max width of 1440px
- Rename css file
- Fix edit button
- Add local Roboto font

Signed-off-by: Tilman Vatteroth <tilman.vatteroth@tu-dortmund.de>

1 files changed, 28 insertions, 0 deletions

diff --git a/docs/content/theme/styles/roboto.css b/docs/content/theme/styles/roboto.css
new file mode 100644
index 00000000..b1c663da
--- /dev/null
+++ b/docs/content/theme/styles/roboto.css
@@ -0,0 +1,28 @@
+
+body, input {
+    font-family: "Roboto",-apple-system,BlinkMacSystemFont,Helvetica,Arial,sans-serif;
+}
+
+code, kbd, pre {
+    font-family: "Roboto Mono",SFMono-Regular,Consolas,Menlo,monospace;
+}
+
+@font-face {
+    font-family: 'Roboto';
+    font-style: normal;
+    font-weight: 400;
+    font-display: swap;
+    src: local('Roboto'),
+         url('./Roboto/roboto-latin-regular.woff2') format('woff2'),
+         url('./Roboto/roboto-latin-regular.woff') format('woff'),
+}
+
+@font-face {
+    font-family: 'Roboto Mono';
+    font-style: normal;
+    font-weight: 400;
+    font-display: swap;
+    src: local('Roboto Mono'),
+         url('./Roboto/roboto-mono-latin-regular.woff2') format('woff2'),
+         url('./Roboto/roboto-mono-latin-regular.woff') format('woff'),
+}