Merge branch 'main' into develop

1 files changed, 18 insertions, 12 deletions

diff --git a/extras/html/style.css b/extras/html/style.css
index ea6184f..eab41b7 100644
--- a/extras/html/style.css
+++ b/extras/html/style.css
@@ -22,20 +22,25 @@
   line-height: 1.5em;
   margin: 0;
   padding: 0;
-  background-color: #f8f8f8;
-  color: #222;
+  background-color: #ffffef;
+  color: #000000;
 }
 
 body {
-  font-family: text, monospace;
+  font-family: monospace;
   width: 99%;
-  max-width: 800px;
+  max-width: 1024px;
   margin: 2em auto 0;
   padding: 0 20px;
   display: block;
+  border-style: solid;
+  border-width: 1px;
+  border-color: #232323;
+  margin-bottom: 50px;
 }
 
 h1, h2, h3 {
+  color: #000000;
   font-weight: bold;
   margin-top: 1em;
   margin-bottom: 0.75em;
@@ -54,18 +59,18 @@ h3 {
 }
 
 a {
-  color: #248;
+  color: #39aa00;
   font-weight: 600;
   text-decoration: none;
 }
 
 a:hover {
-  background-color: #9CFF00;
+  background-color: #555555;
   text-decoration: underline;
 }
 
 a:visited {
-  color: #248;
+  color: #39aa00;
 }
 
 a.textlink:before {
@@ -118,20 +123,21 @@ img {
   max-width: 100%;
   display: block;
   margin: auto;
-  border: 1px solid #9CFF00;
+  border: 1px solid #333333;
 }
 
 pre {
-  font-family: code, monospace;
+  color: #000000;
+  font-family: monospace;
   padding: 0;
-  overflow-x: scroll;
+  overflow-x: auto;
   scrollbar-width: none;
-  border-left: 2px solid #9CFF00;
   padding-left: 12px; 
 }
 
 span.inlinecode {
-  font-family: code, monospace;
+  color: #000000;
+  font-family: monospace;
   filter: invert(1) grayscale(1);
   -webkit-filter: invert(1) grayscale(1);
 }