summaryrefslogtreecommitdiff
path: root/website
diff options
context:
space:
mode:
Diffstat (limited to 'website')
-rw-r--r--website/style.css46
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; }