1 files changed, 46 insertions, 0 deletions
diff --git a/website/style.css b/website/style.css
new file mode 100644
index 0000000..907de70
--- /dev/null
+++ b/website/style.css
@@ -0,0 +1,46 @@
+@font-face {
+    font-family: 'IBM Plex Sans';
+    src: url('/fonts/IBMPlexSans-Regular-Latin1.woff2') format('woff2');
+    font-weight: normal;
+    font-style: normal;
+}
+
+@font-face {
+    font-family: 'IBM Plex Sans';
+    src: url('/fonts/IBMPlexSans-Bold-Latin1.woff2') format('woff2');
+    font-weight: bold;
+    font-style: normal;
+}
+
+@font-face {
+    font-family: 'IBM Plex Mono';
+    src: url('/fonts/IBMPlexMono-Regular-Latin1.woff2') format('woff2');
+    font-weight: normal;
+    font-style: normal;
+}
+
+@font-face {
+    font-family: 'IBM Plex Mono';
+    src: url('/fonts/IBMPlexMono-Bold-Latin1.woff2') format('woff2');
+    font-weight: bold;
+    font-style: normal;
+}
+
+body {
+    margin: 0 auto;
+    max-width: 1000px;
+    line-height: 1.6;
+    font-family: 'IBM Plex Sans', sans-serif;
+    padding: 0 10px;
+}
+
+pre, code, samp {
+    font-family: 'IBM Plex Mono', monospace;
+}
+
+pre {
+    background-color: #f0f0f0;
+    padding: 1em;
+}
+
+h1, h3 { font-variant: small-caps; }