style change

assets/css/main.scss

@@ -1,53 +1,37 @@
 ---
 ---
 
-// solarized theme 
-$base03:    #002b36;
-$base02:    #073642;
-$base01:    #586e75;
-$base00:    #657b83;
-$base0:     #839496;
-$base1:     #93a1a1;
-$base2:     #eee8d5;
-$base3:     #fdf6e3;
-$yellow:    #b58900;
-$orange:    #cb4b16;
-$red:       #dc322f;
-$magenta:   #d33682;
-$violet:    #6c71c4;
-$blue:      #268bd2;
-$cyan:      #2aa198;
-$green:     #859900;
-
-:root {
-	--background:     #{$base3};
-	--background-alt: #{$base2};
-	--comment:        #{$base1};
-	--text:           #{$base00};
-	--text-emph:      #{$base01};
-	@import "light_theme"
+.centercol {
+	counter-reset: heading;
 }
 
-@media (prefers-color-scheme: dark) {
-	:root {
-		--background:     #{$base03};
-		--background-alt: #{$base02};
-		--comment:        #{$base01};
-		--text:           #{$base0};
-		--text-emph:      #{$base1};
-	}
-	@import "dark_theme"
+h1:before {
+	content: counter(heading)" ";
+	counter-increment: heading;
 }
 
-$background:     var(--background);
-$background-alt: var(--background-alt);
-$comment:        var(--comment);
-$text:           var(--text);
-$text-emph:      var(--text-emph);
+h1 {
+	counter-reset: subheading;
+}
+
+h2:before {
+	content: counter(heading)"." counter(subheading)" ";
+	counter-increment: subheading;
+}
+
+@font-face {
+  font-family: CMUSerif;
+  src: url(/assets/css/fonts/cmunrm.ttf);
+  font-weight: heavy;
+}
+
+@font-face {
+  font-family: CMUMono;
+  src: url(/assets/css/fonts/cmuntt.ttf);
+}
 
 body {
-	background-color: $background;
-  font-family: serif;
+  font-family: CMUSerif;
 }
 
 img {
@@ -56,7 +40,6 @@ img {
 
 figcaption {
 	text-align: center;
-	color: $text;
 }
 
 .tcenter {
@@ -65,14 +48,13 @@ figcaption {
 
 pre code {
 	display: block;
-}
-
-p, li, th, td {
-	color: $text;
+  padding: 10px;
+  border-top: 2px dotted gray;
+  border-bottom: 2px dotted gray;
 }
 
 table, th, td {
-	border: 1px solid $text;
+	border: 1px solid black;
 }
 
 th, td {
@@ -92,19 +74,23 @@ a {
 }
 
 a:link {
-	color: $blue;
+	color: blue;
 }
 
 a:visited {
-	color: $violet;
+	color: violet;
 }
 
 a:hover {
-	color: $cyan;
+	color: cyan;
 }
 
-.sitetitle a, bold, em, h1, h2, h3, h4, h5, h6 {
-	color: $text-emph;
+.sitetitle a, {
+	color: black
+}
+
+h1,h2,h3,h4,h5,h6 {
+  text-align: center;
 }
 
 .right {
@@ -131,11 +117,11 @@ nav ul li {
 }
 
 nav ul li a {
-	color: $comment;
+	color: gray;
 }
 
 hr {
-	color: $comment;
+	color: gray;
 	border: 0;
 	border-bottom: 1px dashed; 
 }
@@ -146,10 +132,3 @@ hr {
 	display: block;
 	margin: auto;
 }
-
-code, .Agda {
-  font-family: monospace, monospace;
-	background-color: $background-alt;
-	padding: 4px;
-  overflow-x: auto;
-}