From d89090644e8810a89b2b2e67686640443cc46f39 Mon Sep 17 00:00:00 2001
From: John Haugabook <johnhaugabook@gmail.com>
Date: Thu, 16 Apr 2026 20:44:33 -0400
Subject: [PATCH 1/1] clean style.css

---
 style.css | 410 ++++++++++++++++++++++++++++--------------------------
 1 file changed, 213 insertions(+), 197 deletions(-)

diff --git a/style.css b/style.css
index 5e815292..e9772d9f 100644
--- a/style.css
+++ b/style.css
@@ -1,68 +1,70 @@
 body
 {
-color: black;
+  color: black;
 }
 
-a:link {
-color: #5555cc;
-text-decoration: underline;
+a:link
+{
+  color: #5555cc;
+  text-decoration: underline;
 }
 
-a:visited {
-color: #000066;
-text-decoration: underline;
+a:visited
+{
+  color: #000066;
+  text-decoration: underline;
 }
 
 /* Navbar related -------------------------------------------------------- */
 
 #navbar
 {
-position: absolute;
-left: 0.5em;
-max-width: 11em;
-background-color: #80a0a0;
-color: white;
-text-align: left;
+  position: absolute;
+  left: 0.5em;
+  max-width: 11em;
+  background-color: #80a0a0;
+  color: white;
+  text-align: left;
 }
 
 #navbar li
 {
-overflow: hidden;
+  overflow: hidden;
 }
 
 #navbar li:hover:not(.nohover)
 {
-overflow: hidden;
-background-color: #608080;
+  overflow: hidden;
+  background-color: #608080;
 }
 
 #navbar ul
 {
-list-style-type: none;
-margin-top: .5em;
-margin-bottom: .8em;
+  list-style-type: none;
+  margin-top: .5em;
+  margin-bottom: .8em;
 /*
   It's browser dependent which one of margin-left: and padding-left: we need to
   cancel the default list indentation.
 */
-margin-left: 0em;
-padding-left: 0.5em;
-padding-right: 0.5em;
+  margin-left: 0em;
+  padding-left: 0.5em;
+  padding-right: 0.5em;
 }
 
 #navbar a
 {
-overflow: hidden;
-font-size: small;
-font-weight: 500;
-color: white;
-text-decoration: none;
-font-family: sans-serif;
+  overflow: hidden;
+  font-size: small;
+  font-weight: 500;
+  color: white;
+  text-decoration: none;
+  font-family: sans-serif;
 }
 
 #navbar a.gold
 {
-color:gold;
+  color:gold;
 }
 
 #navbar ul ul
@@ -72,12 +74,6 @@ color:gold;
   padding-left: 0.75em;
 }
 
-/* ----------------------------------------------------------------------- */
-
-#top
-{
-}
-
 /* Two-column what is/isn't it layout ------------------------------------ */
 
 .no-vert-margins
@@ -88,139 +84,135 @@ color:gold;
 
 #leftwhat
 {
-float: left;
-width: 50%;
-padding: 0.1px; /* rounds down to 0, but prevents margin collapse */
-padding-left: 1.5em;
-padding-right: 0;
-margin-right: 0;
+  float: left;
+  width: 50%;
+  padding: 0.1px; /* rounds down to 0, but prevents margin collapse */
+  padding-left: 1.5em;
+  padding-right: 0;
+  margin-right: 0;
 }
 
 #rightwhat
 {
-margin-left: 50%;
-border-left: 2px solid #e8e8e8;
-padding: 0.1px; /* rounds down to 0, but prevents margin collapse */
-padding-left: 1.5em;
+  margin-left: 50%;
+  border-left: 2px solid #e8e8e8;
+  padding: 0.1px; /* rounds down to 0, but prevents margin collapse */
+  padding-left: 1.5em;
 }
 
 #wrap
 {
-position: relative;
-width: 100%;
-margin:0 auto;
-font-size: .9em;
+  position: relative;
+  width: 100%;
+  margin:0 auto;
+  font-size: .9em;
 }
 
 #endwrap
 {
-    clear: both;
-    border-top: 2px solid #e8e8e8;
+  clear: both;
+  border-top: 2px solid #e8e8e8;
 }
 
 /* main ------------------------------------------------------------------ */
 
 #main
 {
-position: relative;
-left: 12em;
-margin-right: 22em;
-min-width: 45em;
+  position: relative;
+  left: 12em;
+  margin-right: 22em;
+  min-width: 45em;
 }
 
 #main h1
 {
-font-size: 2em;
-font-weight: bold;
-color: #99003f;
+  font-size: 2em;
+  font-weight: bold;
+  color: #99003f;
 }
 
 #main h2
 {
-font-size: 1.3em;
-color: #99003f;
+  font-size: 1.3em;
+  color: #99003f;
 }
 
 #main h3
 {
-font-size: 1.1em;
-color: #99003f;
-margin-bottom: 0ex;
+  font-size: 1.1em;
+  color: #99003f;
+  margin-bottom: 0ex;
 }
 
 #main h4
 {
-font-size: 1em;
-color: #99003f;
+  font-size: 1em;
+  color: #99003f;
 }
 
 #main .catchphrase
 {
-margin-top: 1ex;
-margin-left: 6px;
-margin-right: 6px;
-text-align: left;
-font-style: italic;
-padding-left: 6px;
-}
-
-#main ul
-{
+  margin-top: 1ex;
+  margin-left: 6px;
+  margin-right: 6px;
+  text-align: left;
+  font-style: italic;
+  padding-left: 6px;
 }
 
 #main .command
 {
-margin-bottom: 1ex;
-margin-top: 1ex;
-text-align: center;
-font-family: monospace;
+  margin-bottom: 1ex;
+  margin-top: 1ex;
+  text-align: center;
+  font-family: monospace;
 }
 
 #main li
 {
-position: relative;
-left: -1.5em;
-overflow: visible;
+  position: relative;
+  left: -1.5em;
+  overflow: visible;
 }
 
 /* Header/footer styles -------------------------------------------------- */
 
 #big-title
 {
-font-family: sans-serif;
-font-size: 5em;
-color: #990033;
-margin-top: 0em;
-margin-bottom: 0em;
-margin-left: 6px;
-margin-right: 6px;
-padding-left: 4px;
+  font-family: sans-serif;
+  font-size: 5em;
+  color: #990033;
+  margin-top: 0em;
+  margin-bottom: 0em;
+  margin-left: 6px;
+  margin-right: 6px;
+  padding-left: 4px;
 }
 
 #medium-title
 {
-font-family: sans-serif;
-font-size: 3em;
-margin-bottom: 0.2em;
+  font-family: sans-serif;
+  font-size: 3em;
+  margin-bottom: 0.2em;
 }
 
 /* Footer */
 
 #footer
 {
-position: relative;
-font-size: 0.7em;
-border-top: 2px solid #e8e8e8;
-text-align: center;
+  position: relative;
+  font-size: 0.7em;
+  border-top: 2px solid #e8e8e8;
+  text-align: center;
 }
 
 /* rounded cartouche ----------------------------------------------------- */
 
 .cartouche
 {
-background: #e8e8e8;
-border-radius: 8px;
-padding: 4px;
+  background: #e8e8e8;
+  border-radius: 8px;
+  padding: 4px;
 }
 
 /* miscellaneous styles -------------------------------------------------- */
@@ -249,23 +241,26 @@ table.deben th
   border-style: solid;
 }
 
-table.deben th {
-    color: #99003f;
-    border-color: black;
+table.deben th
+{
+  color: #99003f;
+  border-color: black;
 }
 
-table.deben tr:nth-child(odd) {
-    background-color: #f2f2f2;
+table.deben tr:nth-child(odd)
+{
+  background-color: #f2f2f2;
 }
 
-table.deben tr:hover {
-    background-color: #fdd9b5;
+table.deben tr:hover
+{
+  background-color: #fdd9b5;
 }
 
 div#main .indent
 {
-    position: relative;
-    margin-left: 2.5em;
+  position: relative;
+  margin-left: 2.5em;
 }
 
 ul.spaced li
@@ -280,62 +275,65 @@ ul.compact li
 
 .nodisplay
 {
-    display: none;
+  display: none;
 }
 
 .smaller
 {
-    font-size: smaller;
+  font-size: smaller;
 }
 
 .floatleft
 {
-    float: left;
+  float: left;
 }
 
 .center
 {
-    text-align: center;
+  text-align: center;
 }
 
 .right
 {
-    text-align: right;
+  text-align: right;
 }
 
 .prewrap
 {
-    white-space: pre-wrap;
-    margin-top: 0em;
-    margin-bottom: 0em;
+  white-space: pre-wrap;
+  margin-top: 0em;
+  margin-bottom: 0em;
 }
 
 .underline
 {
-    text-decoration: underline;
+  text-decoration: underline;
 }
 
 .container
 {
-    display: flex;
-    justify-content: space-between;
+  display: flex;
+  justify-content: space-between;
 }
 
 .container span
 {
-    flex-basis: 100%;
+  flex-basis: 100%;
 }
 
-.green {
-    color: green;
+.green
+{
+  color: green;
 }
 
-.red {
-    color: red;
+.red
+{
+  color: red;
 }
 
-.amber {
-    color: goldenrod;
+.amber
+{
+  color: goldenrod;
 }
 
 /* pkglist related ------------------------------------------------------- */
@@ -346,25 +344,29 @@ ul.compact li
   column widths.
 */
 
-table.pkglist {
+table.pkglist
+{
   table-layout: fixed;
   width: 100%;
 }
 
-.pkglist td.pkgname {
+.pkglist td.pkgname
+{
   width: 22.5em;
 }
 
-.pkglist tr:hover {
+.pkglist tr:hover
+{
   background-color: #e8e8e8;
 }
 
-.pkglist a {
-    background: url('/icons/ball.gray.gif')
-                no-repeat;
-    background-size: 10px 10px;
-    background-position: left center;
-    padding-left: 10px;
+.pkglist a
+{
+  background: url('/icons/ball.gray.gif')
+              no-repeat;
+  background-size: 10px 10px;
+  background-position: left center;
+  padding-left: 10px;
 }
 
 /* pkg summary related --------------------------------------------------- */
@@ -395,127 +397,141 @@ table.pkgtable td
   border-style: solid;
 }
 
-table.pkgtable tr:nth-child(even) {
-    background-color: #f2f2f2;
+table.pkgtable tr:nth-child(even)
+{
+  background-color: #f2f2f2;
 }
 
-table.pkgtable tr:hover {
-    background-color: #fdd9b5;
+table.pkgtable tr:hover
+{
+  background-color: #fdd9b5;
 }
 
-table.pkgdetails p {
-    margin-top: 0.25em;
-    margin-bottom: 0.25em;
+table.pkgdetails p
+{
+  margin-top: 0.25em;
+  margin-bottom: 0.25em;
 }
 
-table.pkgdetails td {
-    vertical-align: top;
+table.pkgdetails td
+{
+  vertical-align: top;
 }
 
-table.pkgdetails tr td:first-child {
-    white-space: nowrap;
+table.pkgdetails tr td:first-child
+{
+  white-space: nowrap;
 }
 
 /* multicolumn list ------------------------------------------------------ */
 
 .multicolumn-list
 {
-    -moz-column-width: 15em;
-    -webkit-column-width: 15em;
-    column-width: 15em;
-    column-rule-style: double;
-    column-rule-color: #99003f;
-    width: 90%;
-    margin: auto;
+  -moz-column-width: 15em;
+  -webkit-column-width: 15em;
+  column-width: 15em;
+  column-rule-style: double;
+  column-rule-color: #99003f;
+  width: 90%;
+  margin: auto;
 }
 
 .multicolumn-list p
 {
-    margin: 0;
+  margin: 0;
 }
 
 /* packaging related ----------------------------------------------------- */
 
 .sample-email
 {
-    font-family: monospace;
-    border-width: 1px;
-    border-style: solid;
-    margin-left:5%;
-    margin-right:5%;
+  font-family: monospace;
+  border-width: 1px;
+  border-style: solid;
+  margin-left:5%;
+  margin-right:5%;
 }
 
 .sample-preformat
 {
-    margin-left:5%;
-    margin-right:5%;
+  margin-left:5%;
+  margin-right:5%;
 }
 
 /* acronyms related ------------------------------------------------------ */
 
 .valigntop td, .valigntop th
 {
-    padding-left: 8px;
-    padding-right: 8px;
+  padding-left: 8px;
+  padding-right: 8px;
 }
 
 .valigntop tr
 {
-    vertical-align:top;
+  vertical-align:top;
 }
 
 .valigntop p
 {
-    margin-top: 0px;
+  margin-top: 0px;
 }
 
 /* grid table style used for reports-------------------------------------- */
 
-table.grid {
-    width: 95%;
-    margin-left:auto;
-    margin-right:auto;
-    border: 1px solid black;
-    border-collapse: collapse;
+table.grid
+{
+  width: 95%;
+  margin-left:auto;
+  margin-right:auto;
+  border: 1px solid black;
+  border-collapse: collapse;
 }
 
-table.grid th {
-    text-align: left;
-    border: 1px solid black;
-    border-collapse: collapse;
-    background-color: black;
-    color: white;
-    padding: 0.3em;
+table.grid th
+{
+  text-align: left;
+  border: 1px solid black;
+  border-collapse: collapse;
+  background-color: black;
+  color: white;
+  padding: 0.3em;
 }
 
-table.grid tr:nth-child(even) {
-    background-color: #f2f2f2;
+table.grid tr:nth-child(even)
+{
+  background-color: #f2f2f2;
 }
 
-table.grid tr.highlight {
-    background-color: #daa520;
+table.grid tr.highlight
+{
+  background-color: #daa520;
 }
 
-table.grid td {
-    border: 1px solid black;
-    border-collapse: collapse;
-    padding: 0.3em;
+table.grid td
+{
+  border: 1px solid black;
+  border-collapse: collapse;
+  padding: 0.3em;
 }
 
-table.grid tr:hover {
-    background-color: #fdd9b5;
+table.grid tr:hover
+{
+  background-color: #fdd9b5;
 }
 
-table.grid td.succeeded, table.grid td.deployed {
-    background-color: #33a25c;
+table.grid td.succeeded, table.grid td.deployed
+{
+  background-color: #33a25c;
 }
 
-table.grid td.failed {
-    background-color: #a23336;
+table.grid td.failed
+{
+  background-color: #a23336;
 }
 
-.gridfooter {
-    width: 95%;
-    margin-left:auto;
-    margin-right:auto;
+.gridfooter
+{
+  width: 95%;
+  margin-left:auto;
+  margin-right:auto;
 }
-- 
2.49.0.windows.1