Update font size

csev · csev · commit d856faf966ae · 2023-12-14T08:15:14.000-05:00
diff --git a/top.php b/top.php
@@ -8,3 +8,13 @@
 }
 
 $OUTPUT->header();
+?>
+<style>
+body {
+    font-family: var(--font-family);
+    font-size: 1.2rem;
+    line-height: 1.93rem;
+    color: var(--text);
+    background-color: var(--background-color);
+}
+</style>
