more dark colors and reindent the whole thing
authorBernie Innocenti <bernie@codewiz.org>
Mon, 14 Aug 2023 11:33:24 +0000 (04:33 -0700)
committerBernie Innocenti <bernie@codewiz.org>
Mon, 14 Aug 2023 11:33:24 +0000 (04:33 -0700)
sys/geekigeeki.css

index b8410af7ecd632ec2d2481f9f212c1b66732ccfa..49b6ea10bb2a03956923541b4425546d3267ddfe 100644 (file)
@@ -1,16 +1,16 @@
 /* Author: Bernie Innocenti <bernie@codewiz.org> */
 
 body {
-       font-family: sans-serif;
-       background-color: #F0F0F8;
-       color: #000000;
-       margin-top: 0px;
-       margin-left: 0px;
-       margin-right: 0px;
+  font-family: sans-serif;
+  background-color: #F0F0F8;
+  color: #000000;
+  margin-top: 0px;
+  margin-left: 0px;
+  margin-right: 0px;
 }
 
 html {
-       cursor: url('/wiki/sys/pointer.cur'), auto;
+  cursor: url('/wiki/sys/pointer.cur'), auto;
 }
 
 a { color: #1010FF; }
@@ -26,246 +26,240 @@ a.external { font-style: italic; }
 a.heading { text-decoration: none; color: #aaaaaa; font-size: smaller; }
 
 h1 {
-       font-size: x-large;
-       font-weight: bold;
-       clear: both;
-       color: #3377FF;
-       border: #5599EE;
-       background-color: #D0F0FF;
-       clear: both;
-
-       margin-bottom: 0.2em;
-       margin-top: 2em;
-       padding-right: 10px;
-       padding-left: 10px;
+  font-size: x-large;
+  font-weight: bold;
+  clear: both;
+  color: #3377FF;
+  border: #5599EE;
+  background-color: #D0F0FF;
+  clear: both;
+  margin-bottom: 0.2em;
+  margin-top: 2em;
+  padding-right: 10px;
+  padding-left: 10px;
 }
 
 h2 {
-       font-size: large;
-       font-weight: bold;
-       clear: both;
-       color: #22AA33;
-
-       margin-left: 5px;
-       margin-right: 5px;
-       margin-bottom: 0.1em;
-       margin-top: 1.5em;
-       padding-right: 10px;
-       padding-left: 10px;
+  font-size: large;
+  font-weight: bold;
+  clear: both;
+  color: #22AA33;
+  margin-left: 5px;
+  margin-right: 5px;
+  margin-bottom: 0.1em;
+  margin-top: 1.5em;
+  padding-right: 10px;
+  padding-left: 10px;
 }
 
 h3 {
-       font-size: large;
-       font-weight: bold;
-       color: #113366;
-
-       margin-left: 10px;
-       margin-right: 10px;
-       padding-right: 5px;
-       padding-left: 5px;
+  font-size: large;
+  font-weight: bold;
+  color: #113366;
+  margin-left: 10px;
+  margin-right: 10px;
+  padding-right: 5px;
+  padding-left: 5px;
 }
 
 h4 {
-       font-size: medium;
-       font-weight: bold;
-       color: #222288;
-
-       margin-left: 10px;
-       margin-right: 10px;
-       padding-right: 5px;
-       padding-left: 5px;
+  font-size: medium;
+  font-weight: bold;
+  color: #222288;
+  margin-left: 10px;
+  margin-right: 10px;
+  padding-right: 5px;
+  padding-left: 5px;
 }
 
 h5 {
-       font-size: medium;
-       font-weight: normal;
-       color: #4444AA;
-
-       margin-left: 10px;
-       margin-right: 10px;
-       padding-right: 5px;
-       padding-left: 5px;
+  font-size: medium;
+  font-weight: normal;
+  color: #4444AA;
+  margin-left: 10px;
+  margin-right: 10px;
+  padding-right: 5px;
+  padding-left: 5px;
 }
 
 /* Heading anchors */
 .heading:link, .heading:visited {
-       border: none;
-       color: #d7d7d7;
-       font-size: .8em;
-       vertical-align: text-top;
+  border: none;
+  color: #d7d7d7;
+  font-size: .8em;
+  vertical-align: text-top;
 }
 * > .heading:link, * > .heading:visited {
-       visibility: hidden;
+  visibility: hidden;
 }
 
 h1:hover .heading, h2:hover .heading, h3:hover .heading,
 h4:hover .heading, h5:hover .heading, h6:hover .heading {
-       visibility: visible;
+  visibility: visible;
 }
 
 strong.DONE {
-       padding-left: 0.1em;
-       background-color: #22ee22;
+  padding-left: 0.1em;
+  background-color: #22ee22;
 }
 
 strong.TODO {
-       padding-left: 0.1em;
-       background-color: #ffdd44;
+  padding-left: 0.1em;
+  background-color: #ffdd44;
 }
 
 strong.FIXME {
-       padding-left: 0.1em;
-       background-color: #ee2222;
+  padding-left: 0.1em;
+  background-color: #ee2222;
 }
 
 strong.error {
-       color: red;
+  color: red;
 }
 
 div {
-       margin-left:  10px;
-       margin-right: 10px;
-       /*text-align: justify;*/
+  margin-left:  10px;
+  margin-right: 10px;
+  /*text-align: justify;*/
 }
 
 div.wiki {
-       margin-left:  0px;
-       margin-right: 0px;
+  margin-left:  0px;
+  margin-right: 0px;
 }
 
 div.preview {
-       border: 2px dashed #FF0000;
+  border: 2px dashed #FF0000;
 }
 
 div.index {
-       border: 1px solid #EEEEEE;
+  border: 1px solid #EEEEEE;
 }
 
 div.nav {
-       border-color: #888888;
-       background-color: #cccccc;
-       border-style: solid;
-       border-top-width: 0px;
-       border-bottom-width: 1px;
-       border-left-width: 0px;
-       border-right-width: 0px;
-       padding-top:    5px;
-       padding-bottom: 5px;
-       padding-left:   5px;
-       padding-right:  5px;
-       margin-top:     0px;
-       margin-bottom:  10px;
-       margin-left:    0px;
-       margin-right:   0px;
+  border-color: #888888;
+  background-color: #cccccc;
+  border-style: solid;
+  border-top-width: 0px;
+  border-bottom-width: 1px;
+  border-left-width: 0px;
+  border-right-width: 0px;
+  padding-top: 5px;
+  padding-bottom:      5px;
+  padding-left:        5px;
+  padding-right:       5px;
+  margin-top:  0px;
+  margin-bottom:       10px;
+  margin-left: 0px;
+  margin-right:        0px;
 }
 
 .nav li {
-       display: inline;
+  display: inline;
 }
 
 .nav ul
 {
-       list-style-type: none;
-       margin: 0;
-       padding: 0;
-       padding-top: 6px;
-       padding-bottom: 6px;
+  list-style-type: none;
+  margin: 0;
+  padding: 0;
+  padding-top: 6px;
+  padding-bottom: 6px;
 }
 
-
 .nav hr {
-       display: none;
+  display: none;
 }
 
 #footer div {
-       margin-top: 1em;
-       margin-left: 0;
-       margin-right: 0;
+  margin-top: 1em;
+  margin-left: 0;
+  margin-right: 0;
 }
 
 #footer hr {
-       border: none;
-       border-top: 1px solid #bbbbbb;
-       margin: 0 0;
-       clear: both;
+  border: none;
+  border-top: 1px solid #bbbbbb;
+  margin: 0 0;
+  clear: both;
 }
 
 #footer :link, #footer :visited {
-       color: #666666;
+  color: #666666;
 }
 
 #footer p {
-       color: #888888;
-       font-size: x-small;
-       margin-top: 0;
+  color: #888888;
+  font-size: x-small;
+  margin-top: 0;
 }
 
 #footer p.copyright {
-       float: left;
-       margin-left: 0em;
-       padding: 0 1em;
+  float: left;
+  margin-left: 0em;
+  padding: 0 1em;
 }
 
 #footer .license {
-       border-width: 0;
-       vertical-align: top;
-       margin-left: 0em;
-       margin-right: 1em;
+  border-width: 0;
+  vertical-align: top;
+  margin-left: 0em;
+  margin-right: 1em;
 }
 
 #footer p.modified {
-       float: right;
-       text-align: right;
-       margin-right: 1em;
+  float: right;
+  text-align: right;
+  margin-right: 1em;
 }
 
 p.dialog {
-       border-color: black;
-       background-color: white;
-       padding-left: 5px;
-       margin-left: 10px;
-       margin-right: 10px;
-       border-style: solid;
-       border-top-width: 1px;
-       border-right-width: 1px;
-       border-bottom-width: 1px;
-       border-left-width: 1px
+  border-color: black;
+  background-color: white;
+  padding-left: 5px;
+  margin-left: 10px;
+  margin-right: 10px;
+  border-style: solid;
+  border-top-width: 1px;
+  border-right-width: 1px;
+  border-bottom-width: 1px;
+  border-left-width: 1px
 }
 
 p {
-       margin-left: 1em;
-       margin-right: 1em;
-       margin-bottom: 1em;
-       /*text-align: justify;*/
+  margin-left: 1em;
+  margin-right: 1em;
+  margin-bottom: 1em;
+  /*text-align: justify;*/
 }
 
 table {
-       /*width: 100%;*/
-       border: 2px solid #ccc;
-       border-collapse: collapse;
-       margin-left: 1em;
-       margin-right: 1em;
-       margin-top: 0.5em;
-       margin-bottom: 0.5em;
+  /*width: 100%;*/
+  border: 2px solid #ccc;
+  border-collapse: collapse;
+  margin-left: 1em;
+  margin-right: 1em;
+  margin-top: 0.5em;
+  margin-bottom: 0.5em;
 }
 
 table tbody thead {
-       background: #f7f7f0;
+  background: #f7f7f0;
 }
 
 /* FIXME: should be thead */
 table tbody th {
-       border: 1px solid #d7d7d7;
-       border-bottom-color: #999;
-       font-weight: bold;
-       padding: 2px .5em;
-       vertical-align: bottom;
+  border: 1px solid #d7d7d7;
+  border-bottom-color: #999;
+  font-weight: bold;
+  padding: 2px .5em;
+  vertical-align: bottom;
 }
 
 table tbody td {
-       border: 1px dotted #ddd;
-       padding: .3em .5em;
-       vertical-align: top;
+  border: 1px dotted #ddd;
+  padding: .3em .5em;
+  vertical-align: top;
 }
 
 table tbody tr { border-top: 1px solid #ddd }
@@ -274,60 +268,59 @@ table tbody tr.odd { background-color: #e7e7e7 }
 table tbody tr:hover { background: #eed !important }
 
 table thead th :link:hover, table thead th :visited:hover table tbody td a:hover, table tbody th a:hover {
-       background-color: transparent;
+  background-color: transparent;
 }
 
 pre {
-       color: #222222;
-       border-color: #E9E609;
-       background: #FFFDD0;
-
-       margin-left: 10px;
-       margin-right: 10px;
-       padding-left: 5px;
-       padding-right: 5px;
-       padding-top: 5px;
-       padding-bottom: 5px;
-       border-style: solid;
-       border-top-width: 1px;
-       border-right-width: 1px;
-       border-bottom-width: 1px;
-       border-left-width: 1px;
+  color: #222222;
+  border-color: #E9E609;
+  background: #FFFDD0;
+  margin-left: 10px;
+  margin-right: 10px;
+  padding-left: 5px;
+  padding-right: 5px;
+  padding-top: 5px;
+  padding-bottom: 5px;
+  border-style: solid;
+  border-top-width: 1px;
+  border-right-width: 1px;
+  border-bottom-width: 1px;
+  border-left-width: 1px;
 }
 
 pre.error {
-       color: #FF0000;
-       background: #000000;
-       border-top-color: #FF0000;
-       border-color: #FF0000;
-       border-style: solid;
-       border-width: 6px;
-       margin: 0px;
+  color: #FF0000;
+  background: #000000;
+  border-top-color: #FF0000;
+  border-color: #FF0000;
+  border-style: solid;
+  border-width: 6px;
+  margin: 0px;
 }
 
 pre.success {
-       color: #00FF00;
-       background: #000000;
-       border-color: #00FF00;
-       border-style: solid;
-       border-width: 6px;
-       margin: 0px;
+  color: #00FF00;
+  background: #000000;
+  border-color: #00FF00;
+  border-style: solid;
+  border-width: 6px;
+  margin: 0px;
 }
 
 pre.notice {
-       color: #FFCC00;
-       background: #000000;
-       border-color: #FFCC00;
-       border-style: solid;
-       border-width: 6px;
-       margin: 0px;
+  color: #FFCC00;
+  background: #000000;
+  border-color: #FFCC00;
+  border-style: solid;
+  border-width: 6px;
+  margin: 0px;
 }
 
 .editor input[type='text'], .editor textarea {
-       font-family: monospace;
-       color: black;
-       background-color: white;
-       border: 1px solid #8cacbb;
+  font-family: monospace;
+  color: black;
+  background-color: white;
+  border: 1px solid #8cacbb;
 }
 .editor textarea.editor { width: 100%; }
 .editor input.changelog { width: 50%; }
@@ -335,40 +328,33 @@ pre.notice {
 /* thumbnails */
 
 div .thumb {
-       float: left;
-       width: 100%;
+  float: left;
+  width: 100%;
 }
-
-div .thumbleft {
-       float: left;
-}
-
-div .thumbright {
-       float: right;
-}
-
+div .thumbleft { float: left; }
+div .thumbright { float: right; }
 div .innerthumb {
-       float: left;
-       border: 1px solid #ccc;
-       padding: 3px !important;
-       margin: 10px;
-       margin-bottom: .5em;
-       background-color: #f9f9f9;
-       text-align: center;
+  float: left;
+  border: 1px solid #ccc;
+  padding: 3px !important;
+  margin: 10px;
+  margin-bottom: .5em;
+  background-color: #f9f9f9;
+  text-align: center;
 }
 
 .thumb a img, .thumbright a img, .thumbleft a img {
-       border: 1px solid #ccc;
-       vertical-align:bottom;
+  border: 1px solid #ccc;
+  vertical-align:bottom;
 }
 
 .thumb .caption, .thumbright .caption, .thumbleft .caption {
-       border: none;
-       overflow: hidden;
-       font-size: 60%;
-       line-height: 1.4em;
-       padding: .3em 0 .1em 0;
-       text-align: center;
+  border: none;
+  overflow: hidden;
+  font-size: 60%;
+  line-height: 1.4em;
+  padding: .3em 0 .1em 0;
+  text-align: center;
 }
 
 
@@ -382,21 +368,21 @@ div .innerthumb {
 }
 
 @media print {
-       body {
-               background: white;
-               font-size: 12pt;
-       }
-       h1 { font-size: 14pt; }
-       h2 { font-size: 13pt; }
-       h3 { font-size: 12pt; border: none; }
-       h4 { font-size: 12pt; border: none; }
-       h5 { font-size: 12pt; border: none; }
-       a { text-color: #225; text-decoration: underline; }
-       .heading:link, .heading:visited { display: none; }
-       #footer { display: none; }
-       .nav { display: none; }
-       .noprint { display: none; }
-       div.wiki { font-size: smaller; }
+  body {
+    background: white;
+    font-size: 12pt;
+  }
+  h1 { font-size: 14pt; }
+  h2 { font-size: 13pt; }
+  h3 { font-size: 12pt; border: none; }
+  h4 { font-size: 12pt; border: none; }
+  h5 { font-size: 12pt; border: none; }
+  a { text-color: #225; text-decoration: underline; }
+  .heading:link, .heading:visited { display: none; }
+  #footer { display: none; }
+  .nav { display: none; }
+  .noprint { display: none; }
+  div.wiki { font-size: smaller; }
 }
 
 @media (prefers-color-scheme: dark) {
@@ -425,7 +411,7 @@ div .innerthumb {
   a:visited { color: #778899; }
   a.nonexistent { color: #f0d0d0; }
   a.navlink { color: #d1d1ff; }
-  a.login { color: #bb6666; }
+  a.login { color: #cc5555; }
   a.heading { text-decoration: none; color: #666666; font-size: smaller; }
 
   h1 {
@@ -442,12 +428,44 @@ div .innerthumb {
     border-color: #606060;
     background-color: #303030;
   }
+  div.preview { border: 2px dashed #cc2222; }
+
+  pre {
+    color: #dddddd;
+    border-color: #999900;
+    background: #1a1a1a;
+  }
+
+  pre.error {
+    color: #FF5555;
+    background: #222222;
+    border-top-color: #ff5555;
+    border-color: #ff5555;
+  }
+
+  pre.success {
+    color: #55ff55;
+    background: #222222;
+    border-color: #55ff55;
+  }
+
+  pre.notice {
+    color: #ffdd55;
+    background: #222222;
+    border-color: #ffdd55;
+  }
+
+  .editor input[type='text'], .editor textarea {
+    color: #ffffff;
+    background-color: #2a2a2a;
+    border: 1px solid #8cacbb;
+  }
 
   table { border: 2px solid #444; }
   table tbody thead { background: #2f2f2f; }
   table tbody th {
-          border: 1px solid #555;
-          border-bottom-color: #777;
+    border: 1px solid #555;
+    border-bottom-color: #777;
   }
   table tbody td { border: 1px dotted #555; }
   table tbody tr { border-top: 1px solid #555; }