From aa05d73c9c745b0c7a12999afe1be41438e525a0 Mon Sep 17 00:00:00 2001
From: Yu Cong <sxlxcsxlxc@gmail.com>
Date: Mon, 30 Mar 2026 10:42:25 +0800
Subject: [PATCH] Clean up CSS and update default styles

Normalize formatting across CSS files and fix selector whitespace
and quote usage. Change default link color to browser blue and
enable smooth scrolling; hover underlines links. Revamp table
styles (borders, caption, zebra rows, padding, footer alignment).
Adjust proof/theorem header spacing and minor spacing/padding fixes.
---
 css/chao-theorems.css |  89 +++++++++++---------
 css/default.css       | 185 +++++++++++++++---------------------------
 css/fonts.css         |  67 ++++++++-------
 3 files changed, 150 insertions(+), 191 deletions(-)

diff --git a/css/chao-theorems.css b/css/chao-theorems.css
index 6ef02ca..fabe55f 100644
--- a/css/chao-theorems.css
+++ b/css/chao-theorems.css
@@ -1,90 +1,103 @@
 .theorem-environment {
-  font-style: italic;
-  margin-top: 1em;
-  padding: 0.5em;
-  background-color: whitesmoke;
+    font-style: italic;
+    margin-top: 1em;
+    padding: 0.5em;
+    background-color: whitesmoke;
 }
 
 .theorem-header {
-  font-weight: bold;
-  font-style: normal;
+    font-weight: bold;
+    font-style: normal;
 }
 
 .theorem-header .index:before {
-  content: ' ';
+    content: " ";
 }
 
 .theorem-header .name:before {
-  content: ' (';
+    content: " (";
 }
 
 .theorem-header .name:after {
-  content: ')';
+    content: ")";
 }
 
 .theorem-header:after {
-  content: '.\2002\2002';
+    content: ".\2002\2002";
 }
 
-.theorem-header+p {
-  display: inline;
+.theorem-header + p {
+    display: inline;
 }
 
 .Proof .type {
-  font-style: italic;
-  font-weight: normal;
+    font-style: italic;
+    font-weight: normal;
 }
 
 .Proof {
-  background: none;
-  font-style: normal;
-  position: relative;
+    background: none;
+    font-style: normal;
+    position: relative;
 }
 
 .Proof:after {
-  content: '∎';
-  position: absolute;
-  right: 0px;
-  bottom: 0px;
+    content: "∎";
+    position: absolute;
+    right: 0px;
+    bottom: 0px;
+}
+
+.Proof span.theorem-header span.name {
+    font-weight: normal;
+    font-style: italic;
+}
+
+.Proof span.theorem-header span.name:before {
+    content: " ";
+}
+
+.Proof span.theorem-header span.name:after {
+    content: " ";
 }
 
 table.postindex {
-  width: 100%;
+    width: 100%;
 }
 
 table.postindex cite {
-  font-style: normal;
+    font-style: normal;
 }
 
 table.postindex td.right {
-  text-align: right;
-  width: 11ex;
+    text-align: right;
+    width: 11ex;
 }
 
 .header-section-number {
-  margin-right: 10px;
+    margin-right: 10px;
 }
 
 .header-section-number:after {
-  content: '.';
+    content: ".";
 }
 
 .csl-entry {
-  display: table;
-  width: 100%;
-  table-layout: auto;
+    display: table;
+    width: 100%;
+    table-layout: auto;
 }
 
 .csl-left-margin {
-  display: table-cell;
-  padding-right: 0.5em;
-  white-space: nowrap;
-  width: 1px;
+    display: table-cell;
+    padding-right: 0.5em;
+    white-space: nowrap;
+    width: 1px;
 }
 
 .csl-right-inline {
-  display: table-cell;
+    display: table-cell;
+}
+.csl-right-inline a {
+    word-break: break-all;
 }
-.csl-right-inline a{
-  word-break: break-all;
-}
\ No newline at end of file
diff --git a/css/default.css b/css/default.css
index c505880..0c73a98 100644
--- a/css/default.css
+++ b/css/default.css
@@ -3,10 +3,7 @@
     --color-tag1: gray;
     --color-tag2: darkolivegreen;
     --color-bg: white;
-    --color-link: #337ab7;
-    --color-linkhbg: #e6f0ff;
-    --color-linkh: #002266;
-    --color-bq: olivedrab;
+    --color-link: #0000ee;
     --color-notice: #fb4f4f;
 }
 
@@ -19,11 +16,18 @@
 
 html {
     scrollbar-gutter: stable;
+    scroll-behavior: smooth;
     font-size: 14pt;
 }
 
 body {
-    font-family: 'Lato', -apple-system, BlinkMacSystemFont, 'PingFang SC', 'Microsoft YaHei', sans-serif;
+    font-family:
+        "Lato",
+        -apple-system,
+        BlinkMacSystemFont,
+        "PingFang SC",
+        "Microsoft YaHei",
+        sans-serif;
     font-optical-sizing: auto;
     font-weight: 400;
     font-style: normal;
@@ -32,30 +36,28 @@ body {
     color: var(--color-text);
     background-color: var(--color-bg);
     text-rendering: optimizeLegibility;
-}
-body.lang-zh {
-    text-align: left;
+    text-autospace: no-autospace; /*using pangu.hs*/
 }
 
 body a {
-    color: var(--color-link);
     text-decoration: none;
 }
 
-.text-space a:hover {
-    background-color: var(--color-linkhbg);
-    color: var(--color-linkh);
-    text-decoration: none;
+body a:hover {
+    text-decoration: underline;
 }
 details {
-    background-color: var(--color-linkhbg);
+    padding-left: 1em;
+    border: 2px solid var(--color-text);
 }
 summary:hover {
     cursor: pointer;
 }
 
 /*mathML*/
-.htmlmathparagraph, mtext,math {
+.htmlmathparagraph,
+mtext,
+math {
     font-family: Lete Sans Math;
 }
 .math-container,
@@ -63,7 +65,7 @@ summary:hover {
     display: block;
     overflow-x: auto;
     overflow-y: hidden;
-    padding: .5em;
+    padding: 0.5em;
 }
 
 .math-container.math-container-tagged {
@@ -72,7 +74,7 @@ summary:hover {
     align-items: center;
     column-gap: 1rem;
     overflow: visible;
-    padding: .5em 0;
+    padding: 0.5em 0;
 }
 
 .math-container.math-container-tagged .math-tag-spacer {
@@ -83,7 +85,7 @@ summary:hover {
     min-width: 0;
     overflow-x: auto;
     overflow-y: hidden;
-    padding: .5em 0;
+    padding: 0.5em 0;
 }
 
 .math-container.math-container-tagged .math-tag {
@@ -104,66 +106,32 @@ summary:hover {
     font-variant-caps: small-caps;
 }
 
-p {
-    hyphens: auto;
-}
-
 a.url {
     word-break: break-all;
 }
 
+html body div.text-space main ul.post-list {
+    list-style-type: none;
+    padding-left: 1em;
+}
+
+/* top bar */
 header {
     font-weight: 400;
     font-family: "IosevkaC", sans-serif;
 }
-
-/* top bar*/
-.navbar {
-    display: flex;
-    justify-content: space-between;
-    align-items: center;
-}
-
-.navright a {
-    margin: 0 0 0 1em;
-}
-
-/* Links inside the navbar */
-.navbar a {
-    text-decoration: none;
-    color: var(--color-text);
-}
-
-.navbar a:visited {
-    color: var(--color-text);
-}
-
-nav {
-    text-align: right;
-    border-bottom: solid 1px var(--color-text);
-}
-
 nav a {
-    font-size: 1.2rem;
-    /*margin-left: 0.5em;*/
     display: inline-block;
-    vertical-align: middle;
     text-decoration: none;
 }
 
 .uri {
     word-wrap: break-word;
-    /* Legacy support */
     overflow-wrap: break-word;
-    /* Modern property */
     word-break: break-all;
-    /* Break long words if necessary */
     white-space: normal;
-    /* Allow wrapping */
 }
 
-
-
 footer {
     color: var(--color-text);
     font-size: 0.8rem;
@@ -172,15 +140,6 @@ footer {
     padding-right: 1em;
 }
 
-h1,
-h2,
-h3,
-h4,
-h5,
-h6 {
-    text-align: left;
-}
-
 .pagetitle {
     font-size: 2rem;
     font-weight: normal;
@@ -194,22 +153,20 @@ h1 {
     font-size: 1.44rem;
     font-weight: bold;
     font-style: normal;
-    text-align: left;
-    line-height: 100%;
 }
 
 h2 {
     margin-top: 1em;
     font-size: 1.2rem;
     font-weight: bold;
-    font-style: normal
+    font-style: normal;
 }
 
 h3 {
     margin-top: 1em;
     font-size: 1rem;
     font-weight: bold;
-    font-style: normal
+    font-style: normal;
 }
 
 article .header {
@@ -219,14 +176,7 @@ article .header {
     text-align: left;
 }
 
-
-.info {
-    color: var(--color-tag2);
-    font-size: 1rem;
-    font-style: normal;
-    text-align: left;
-}
-
+.info,
 .info a {
     color: var(--color-tag2);
     font-size: 1rem;
@@ -247,33 +197,45 @@ section.body {
     line-height: normal;
 }
 
-blockquote {
-    margin: 1rem 0;
-    padding: 0 0 0 1.5em;
-    border-left: 3px solid var(--color-bq);
+/* table. copied from https://developer.mozilla.org/en-US/docs/Web/HTML/Reference/Elements/table */
+table {
+    border-collapse: collapse;
+    border: 2px solid rgb(140 140 140);
+    font-size: 0.8rem;
+    letter-spacing: 1px;
 }
 
-blockquote p {
-    margin: 0;
+caption {
+    caption-side: bottom;
+    padding: 10px;
+    font-weight: bold;
 }
 
-ol {
-    padding-left: 2em;
-}
-ul {
-    list-style-type: square;
-    padding-left: 2em;
-}
-li {
-    margin-bottom: 0.15em;
+thead,
+tfoot {
+    background-color: rgb(228 240 245);
 }
 
-table,
 th,
 td {
-    border: 1px solid darkolivegreen;
-    border-collapse: collapse;
-    text-align: left;
+    border: 1px solid rgb(160 160 160);
+    padding: 8px 10px;
+}
+
+td:last-of-type {
+    text-align: center;
+}
+
+tbody > tr:nth-of-type(even) {
+    background-color: rgb(237 238 242);
+}
+
+tfoot th {
+    text-align: right;
+}
+
+tfoot td {
+    font-weight: bold;
 }
 
 figure {
@@ -284,23 +246,11 @@ figure {
     max-width: 80%;
 }
 
-
-figcaption {
-    /* font: italic smaller sans-serif; */
-    padding: 3px;
-    text-align: center;
-}
-
-.caption {
-    display: none
-}
-
 .centerimg img {
     margin: 0 auto 0 auto;
     display: block;
 }
 
-
 div.highlight,
 pre code {
     margin: auto;
@@ -320,18 +270,16 @@ code {
     text-rendering: optimizeSpeed;
 }
 
-
 .draft-notice {
     color: var(--color-notice);
     margin: 1em auto;
-    text-align: center
+    text-align: center;
 }
 
-
 .subtitle {
     text-align: left;
     font-size: 1.2rem;
-    margin-top: 0
+    margin-top: 0;
 }
 .gallery {
     margin-top: 2em;
@@ -401,7 +349,7 @@ code {
         padding-left: 1em;
         line-height: 1.2;
         list-style-type: decimal;
-        margin-left: 0
+        margin-left: 0;
     }
 
     div#contents ul.notes-list,
@@ -414,8 +362,8 @@ code {
         list-style-type: none;
     }
 
-    div#contents-big li+li {
-        margin-top: 0.5em
+    div#contents-big li + li {
+        margin-top: 0.5em;
     }
 
     div#contents-big {
@@ -428,7 +376,7 @@ code {
         margin-right: 4em;
         position: sticky;
         top: 5rem;
-        left: 100%
+        left: 100%;
     }
 
     div#contents-big .mini-header {
@@ -452,7 +400,6 @@ code {
 }
 
 @media print {
-
     .no-print,
     .no-print * {
         display: none !important;
diff --git a/css/fonts.css b/css/fonts.css
index e16a175..1a6a1ff 100644
--- a/css/fonts.css
+++ b/css/fonts.css
@@ -1,52 +1,51 @@
-
 /* fonts */
 
 @font-face {
-  font-family: "Lato";
-  src: url("/fonts/Lato-Regular.woff2") format("woff2");
-  font-weight: normal;
-  font-style: normal;
+    font-family: "Lato";
+    src: url("/fonts/Lato-Regular.woff2") format("woff2");
+    font-weight: normal;
+    font-style: normal;
 }
 @font-face {
-  font-family: "Lato";
-  src: url("/fonts/Lato-Bold.woff2") format("woff2");
-  font-weight: bold;
-  font-style: normal;
+    font-family: "Lato";
+    src: url("/fonts/Lato-Bold.woff2") format("woff2");
+    font-weight: bold;
+    font-style: normal;
 }
 @font-face {
-  font-family: "Lato";
-  src: url("/fonts/Lato-Italic.woff2") format("woff2");
-  font-weight: normal;
-  font-style: italic;
+    font-family: "Lato";
+    src: url("/fonts/Lato-Italic.woff2") format("woff2");
+    font-weight: normal;
+    font-style: italic;
 }
 @font-face {
-  font-family: "Lato";
-  src: url("/fonts/Lato-BoldItalic.woff2") format("woff2");
-  font-weight: bold;
-  font-style: italic;
+    font-family: "Lato";
+    src: url("/fonts/Lato-BoldItalic.woff2") format("woff2");
+    font-weight: bold;
+    font-style: italic;
 }
 @font-face {
-  font-family: "Lete Sans Math";
-  src: url("/fonts/LeteSansMath.woff2") format("woff2");
-  font-weight: normal;
-  font-style: normal;
+    font-family: "Lete Sans Math";
+    src: url("/fonts/LeteSansMath.woff2") format("woff2");
+    font-weight: normal;
+    font-style: normal;
 }
 @font-face {
-  font-family: "Lete Sans Math";
-  src: url("/fonts/LeteSansMath-Bold.woff2") format("woff2");
-  font-weight: bold;
-  font-style: normal;
+    font-family: "Lete Sans Math";
+    src: url("/fonts/LeteSansMath-Bold.woff2") format("woff2");
+    font-weight: bold;
+    font-style: normal;
 }
 
 @font-face {
-  font-family: "IosevkaC";
-  src: url("/fonts/IosevkaCustom-Regular.woff2") format("woff2");
-  font-weight: normal;
-  font-style: normal;
+    font-family: "IosevkaC";
+    src: url("/fonts/IosevkaCustom-Regular.woff2") format("woff2");
+    font-weight: normal;
+    font-style: normal;
 }
 @font-face {
-  font-family: "IosevkaC";
-  src: url("/fonts/IosevkaCustom-Bold.woff2") format("woff2");
-  font-weight: bold;
-  font-style: normal;
-}
\ No newline at end of file
+    font-family: "IosevkaC";
+    src: url("/fonts/IosevkaCustom-Bold.woff2") format("woff2");
+    font-weight: bold;
+    font-style: normal;
+}