From 21cb89706a1cfe4bff91dc3b0d2b1c3a65d4feb7 Mon Sep 17 00:00:00 2001
From: Victor Lin <13424970+victorlin@users.noreply.github.com>
Date: Wed, 15 Jan 2025 17:35:40 -0800
Subject: [PATCH 1/2] Remove custom CSS for strong elements

The only thing that strong elements should change is the font weight,
which is provided by browser defaults or browserCompatibility.css.
Everything else should be inherited from the parent.
---
 src/css/static.css | 6 ------
 1 file changed, 6 deletions(-)

diff --git a/src/css/static.css b/src/css/static.css
index 3eb801588..708c18d38 100644
--- a/src/css/static.css
+++ b/src/css/static.css
@@ -112,12 +112,6 @@ the content, the padding and border, but not the margin.
   font-size: 94%; /* same as <a>*/
 }
 
-strong {
-  background-color: white;
-  color: var(--medGrey);
-  font-size: 94%; /* same as <a>*/
-}
-
 .static.container {
   padding-left: 25px;
   padding-right: 25px;

From fadb64ea496440b50f77d73f54fd533bc23f209f Mon Sep 17 00:00:00 2001
From: Victor Lin <13424970+victorlin@users.noreply.github.com>
Date: Wed, 15 Jan 2025 17:37:51 -0800
Subject: [PATCH 2/2] Remove styles for 'static' class

Usage of this class name was removed in "Allow extensions to replace
splash page" (c73f590d).
---
 src/css/static.css | 141 ---------------------------------------------
 1 file changed, 141 deletions(-)

diff --git a/src/css/static.css b/src/css/static.css
index 708c18d38..87c384645 100644
--- a/src/css/static.css
+++ b/src/css/static.css
@@ -12,147 +12,6 @@ body {
   overflow-x: hidden;
 }
 
-/* The width and height properties include
-the content, the padding and border, but not the margin.
-*/
-.static * {
-  -webkit-box-sizing: border-box;
-  -moz-box-sizing: border-box;
-  box-sizing: border-box;
-}
-.static *:before,
-.static *:after {
-  -webkit-box-sizing: border-box;
-  -moz-box-sizing: border-box;
-  box-sizing: border-box;
-}
-
-.static .line {
-  margin-top: 20px;
-  margin-bottom: 20px;
-  border-bottom: 1px solid #CCC;
-}
-
-.static .main {
-  margin-top: 30px;
-}
-
-.static .title {
-  font-size: 28;
-}
-
-.static div {
-  text-align: justify;
-  font-size: 16px;
-  margin-top: 5px;
-  margin-bottom: 5px;
-  font-weight: 300;
-  color: var(--darkGrey);
-  line-height: 1.42857143;
-}
-
-.static h1 {
-  text-align: left;
-  font-size: 38px;
-  line-height: 32px;
-  font-weight: 300;
-  color: var(--darkGrey);
-  min-width: 240px;
-  margin-top: 40px;
-  margin-bottom: 30px;
-}
-
-.static h2 {
-  text-align: left;
-  font-size: 16px;
-  line-height: 28px;
-  margin-top: 15px;
-  margin-bottom: 5px;
-  font-weight: 500;
-  color: var(--darkGrey);
-  border-bottom: 10px;
-  min-width: 240px;
-}
-
-.static h3 {
-  text-align: left;
-  font-size: 16px;
-  line-height: 28px;
-  margin-top: 10px;
-  margin-bottom: 0px;
-  font-weight: 500;
-  color: var(--darkGrey);
-  border-bottom: 0px;
-  min-width: 240px;
-}
-
-.static .bigspacer {
-  height: 30px;
-}
-
-.static .hugespacer {
-  height: 50px;
-}
-
-.static .bigspacer {
-  height: 30px;
-}
-
-.static .spacer {
-  height: 10px;
-}
-
-.static .smallspacer {
-  height: 5px;
-}
-
-.static .highlight {
-  background-color: white;
-  color: var(--medGrey);
-  font-size: 94%; /* same as <a>*/
-}
-
-.static.container {
-  padding-left: 25px;
-  padding-right: 25px;
-}
-
-.static .col-md-9 img {
-  width: 100%;
-}
-
-.static .clickable {
-  color: #5097BA;
-  text-decoration: none;
-  cursor: pointer;
-  font-family: "Lato", "Helvetica Neue", "Helvetica", "sans-serif";
-  font-weight: 400;
-  font-size: 94%;
-}
-/*.static aside {
-  float: right;
-}*/
-@media (min-width: 992px) {
-  .static aside {
-    float: right;
-    padding-left: 30px;
-    text-align: left;
-  }
-  .static .col-md-3 h1 {
-    text-align: right;
-    float: right;
-  }
-  .static .col-md-3 h2 {
-    text-align: right;
-    float: right;
-  }
-}
-
-.static .aside {
-  font-size: 13px;
-  font-weight: 300;
-}
-
 /* https://stackoverflow.com/questions/16771225/css3-rotate-animation */
 .spinner {
     position: relative;