web design is not my passion (font toggle works)

export/pghrtcss.css

@@ -1,21 +1,19 @@
-@font-face {
+/* avec - computer modern */
-    font-family: 'bold';
-    src: url('font/bold.otf') format('opentype');
-}
-
-@font-face {
-    font-family: 'ital';
-    src: url('font/italics.otf') format('opentype');
-}
-
 @font-face {
     font-family: 'crm';
     src: url('font/crm.otf') format('opentype');
 }
-
 @font-face {
-    font-family: 'boit';
+    font-family: 'crmb';
-    src: url('font/boit.otf') format('opentype');
+    src: url('font/crmb.otf') format('opentype');
+}
+@font-face {
+    font-family: 'crmi';
+    src: url('font/crmi.otf') format('opentype');
+}
+@font-face {
+    font-family: 'crmbi';
+    src: url('font/crmbi.otf') format('opentype');
 }
 
 /*default for light*/
@@ -30,7 +28,10 @@
     --snackbar-bg: #333;
     --snackbar-color: #fff;
     --table-border-color: #000;
-    /* set the font to avec */
+    --font: 'crm';
+    --font-i: 'crmi';
+    --font-b: 'crmb';
+    --font-bi: 'crmbi';
 }
 
 [data-theme="dark"] {
@@ -46,12 +47,17 @@
     --table-border-color: #eee;
 }
 
-[data-theme="sans"] {
+/* i changed how i wanted to do this and now it's annoyingly repeititive but that's fineeee*/
-/* set the font to sans */
+/* i'm gonna be honest i don't actually LIKE web design you feel me? */
+[data-font="sans"] {
+    --font: -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, "Helvetica Neue", Arial, sans-serif;
+    --font-i: -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, "Helvetica Neue", Arial, sans-serif;
+    --font-b: -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, "Helvetica Neue", Arial, sans-serif;
+    --font-bi: -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, "Helvetica Neue", Arial, sans-serif;
 }
 
 body {
-	font-family: 'crm';
+	font-family: var(--font);
 	padding: 0 0px 0 0;
 	margin: 0;
 	font-size: 17px;
@@ -63,9 +69,10 @@ body {
 .ltx_TOC a:link, .ltx_TOC a:visited, .ltx_p a:link, .ltx_p a:visited, a.ltx_LaTeXML_logo:visited{ color: var(--link-color) !important; }
 .ltx_personname a:link, .ltx_personname a:visited { color: fuchsia; }
 
-.ltx_title_abstract, .ltx_title, .ltx_font_bold { font-family: 'bold'; font-weight: bold;}
+.ltx_title_abstract, .ltx_title, .ltx_font_bold { font-family: var(--font-b);}
-.ltx_font_italic { font-family: 'ital';}
+.ltx_font_italic { font-family: var(--font-i);}
-.ltx_font_bold.ltx_font_italic { font-family: 'boit' !important; }
+.ltx_font_bold.ltx_font_italic, .ltx_title .ltx_font_italic { font-family: var(--font-bi) !important; }
+.ltx_title_subsection, .ltx_title, .ltx_font_bold { font-weight: bold; }
 
 #menu {
 	content: '\09776';
@@ -90,7 +97,7 @@ body {
 
 .ltx_toclist { padding: 0; }
 .ltx_tocentry { padding-left: 20px }
-.ltx_title_contents {text-align:center; font-size: 120%; font-weight:bold; margin-top: 1em; margin-bottom: 1em; }
+.ltx_title_contents {text-align:center; font-size: 120%; margin-top: 1em; margin-bottom: 1em; }
 .ltx_tag_section { margin-right: .5em }
 .ltx_p { line-height: 1.4; text-align: justify; }
 
@@ -209,6 +216,7 @@ ol[class="ltx_toclist ltx_toclist_section"]{
   font-size: 55px;
   padding-bottom: 6px;
   padding-right: 1px;
+  padding-left: 4px;
   font-family: 'crm';
 }
 

export/pghrtjs.js

@@ -39,30 +39,35 @@ function copyURI(evt) {
 }
 
 // source: https://stackoverflow.com/questions/56300132/how-to-override-css-prefers-color-scheme-setting
-// ty jimmy banks <3
+// ty jimmy banks
 // determines if the user has a set theme or a stored theme on load
-function detectColorScheme(){
+function detectColorScheme() {
-    var theme="light";    //default to light
+	// check if already saved dark
-    //local storage is used to override OS theme settings
+	if (localStorage.getItem("theme")) {
-    if(localStorage.getItem("theme")){
+		if (localStorage.getItem("theme") == "dark") {
-        if(localStorage.getItem("theme") == "dark"){
+			document.documentElement.setAttribute("data-theme", "dark");
-            var theme = "dark";
 		}
-    } else if(!window.matchMedia) {
+	} else if (window.matchMedia("(prefers-color-scheme: dark)").matches) {
-        //matchMedia method not supported
+		// set to dark if OS preferred
-        return false;
-    } else if(window.matchMedia("(prefers-color-scheme: dark)").matches) {
-        //OS theme setting detected as dark
-        var theme = "dark";
-    }
-
-    //dark theme preferred, set document with a `data-theme` attribute
-    if (theme=="dark") {
 		document.documentElement.setAttribute("data-theme", "dark");
 		localStorage.setItem('theme', 'dark');
-		// now honestly not to criticize this code i am copying too much but like
+	} else {
-		// why not reuse the theme var here? surely it's more error prone this way?
+		// default light otherwise
-		// is there some sort of perf diff in js this way? surely not? nerds, assemble
+		document.documentElement.setAttribute("data-theme", "light");
+		localStorage.setItem('theme', 'light');
+	}
+}
+
+function detectFont(){
+    // check if user wants sans
+	if (localStorage.getItem("font") == "sans") {
+		document.documentElement.setAttribute("data-font", "sans");
+		localStorage.setItem('font', 'sans');
+	}
+	else {
+		// otherwise give avec
+		document.documentElement.setAttribute("data-font", "avec");
+		localStorage.setItem('font', 'avec');
 	}
 }
 
@@ -103,5 +108,6 @@ function initFontToggle() {
 // run da functions
 initTocOnClick();
 detectColorScheme();
+detectFont();
 initThemeToggle();
 initFontToggle();