summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--static/fonts/robotomono-v22-bold-latin.woff2bin12276 -> 0 bytes
-rw-r--r--static/fonts/robotomono-v22-regular-latin.woff2bin12312 -> 0 bytes
-rw-r--r--static/fonts/robotomono-v23-bold-latin.woff2bin0 -> 12740 bytes
-rw-r--r--static/fonts/robotomono-v23-regular-latin.woff2bin0 -> 12764 bytes
-rw-r--r--static/main.css4
5 files changed, 2 insertions, 2 deletions
diff --git a/static/fonts/robotomono-v22-bold-latin.woff2 b/static/fonts/robotomono-v22-bold-latin.woff2
deleted file mode 100644
index d7170dac..00000000
--- a/static/fonts/robotomono-v22-bold-latin.woff2
+++ /dev/null
Binary files differ
diff --git a/static/fonts/robotomono-v22-regular-latin.woff2 b/static/fonts/robotomono-v22-regular-latin.woff2
deleted file mode 100644
index f8894bab..00000000
--- a/static/fonts/robotomono-v22-regular-latin.woff2
+++ /dev/null
Binary files differ
diff --git a/static/fonts/robotomono-v23-bold-latin.woff2 b/static/fonts/robotomono-v23-bold-latin.woff2
new file mode 100644
index 00000000..92fe38dd
--- /dev/null
+++ b/static/fonts/robotomono-v23-bold-latin.woff2
Binary files differ
diff --git a/static/fonts/robotomono-v23-regular-latin.woff2 b/static/fonts/robotomono-v23-regular-latin.woff2
new file mode 100644
index 00000000..53d081f3
--- /dev/null
+++ b/static/fonts/robotomono-v23-regular-latin.woff2
Binary files differ
diff --git a/static/main.css b/static/main.css
index b04d29e2..d32f04e6 100644
--- a/static/main.css
+++ b/static/main.css
@@ -354,7 +354,7 @@ main.normalize {
font-style: normal;
font-weight: 400;
font-display: swap;
- src: local("Roboto Mono"), local("RobotoMono-Regular"), url("/fonts/robotomono-v22-regular-latin.woff2") format("woff2");
+ src: local("Roboto Mono"), local("RobotoMono-Regular"), url("/fonts/robotomono-v23-regular-latin.woff2") format("woff2");
unicode-range: U+0000-00FF, U+0131, U+0152-0153, U+02BB-02BC, U+02C6, U+02DA, U+02DC, U+2000-206F, U+2074, U+20AC, U+2122, U+2191, U+2193, U+2212, U+2215, U+FEFF, U+FFFD;
}
@@ -364,7 +364,7 @@ main.normalize {
font-style: normal;
font-weight: 700;
font-display: swap;
- src: local("Roboto Mono Bold"), local("RobotoMono-Bold"), url("/fonts/robotomono-v22-bold-latin.woff2") format("woff2");
+ src: local("Roboto Mono Bold"), local("RobotoMono-Bold"), url("/fonts/robotomono-v23-bold-latin.woff2") format("woff2");
unicode-range: U+0000-00FF, U+0131, U+0152-0153, U+02BB-02BC, U+02C6, U+02DA, U+02DC, U+2000-206F, U+2074, U+20AC, U+2122, U+2191, U+2193, U+2212, U+2215, U+FEFF, U+FFFD;
}