Fixed CSS linting errors.

stylesheets/default.css

@@ -1,4 +1,4 @@
-@import "https://cdn.jsdelivr.net/npm/[email protected]/css/bulma.min.css";
+@import url("https://cdn.jsdelivr.net/npm/[email protected]/css/bulma.min.css");
 
 /*
  * Bulma extensions
@@ -113,9 +113,6 @@ button#dark-mode-toggle svg#dark-mode-moon {
 	padding: 4em 0;
 }
 
-#key-points > div.key-point > section {
-}
-
 #key-points > div.key-point:nth-child(odd) {
 	color: white;
 	background-color: black;
@@ -267,7 +264,7 @@ button#dark-mode-toggle svg#dark-mode-moon {
 .content div.note,
 .content div.warning {
 	clear: right;
-	margin: 0.5em 0 0.5em 0;
+	margin: 0.5em 0;
 	padding: 0.5em;
 	border: 0.5em solid var(--fg-color);
 }
@@ -365,7 +362,7 @@ footer.footer a:hover {
 /*
  * Small Screens
  */
-@media only screen and (max-width: 1023px) {
+@media only screen and (width <= 1023px) {
 	.content {
 		width: 95vw !important;
 	}
@@ -444,6 +441,7 @@ body.dark-mode .content a.link:hover {
 body.dark-mode main article.message > div.message-body > p {
 	color: var(--fg-color);
 }
+
 body.dark-mode main article.message > div.message-body a:hover {
 	color: var(--dark-mode-fg-color);
 }

stylesheets/syntax_highlighting.css

@@ -1,198 +1,260 @@
 .highlight table td { padding: 5px; }
 .highlight table pre { margin: 0; }
+
 .highlight .gh {
-  color: #999999;
+  color: #999;
 }
+
 .highlight .sr {
   color: #f6aa11;
 }
+
 .highlight .go {
-  color: #888888;
+  color: #888;
 }
+
 .highlight .gp {
-  color: #555555;
+  color: #555;
 }
+
 .highlight .gs {
 }
+
 .highlight .gu {
-  color: #aaaaaa;
+  color: #aaa;
 }
+
 .highlight .nb {
   color: #f6aa11;
 }
+
 .highlight .cm {
   color: #75715e;
 }
+
 .highlight .cp {
   color: #75715e;
 }
+
 .highlight .c1 {
   color: #75715e;
 }
+
 .highlight .cs {
   color: #75715e;
 }
+
 .highlight .c, .highlight .ch, .highlight .cd, .highlight .cpf {
   color: #75715e;
 }
+
 .highlight .err {
   color: #960050;
 }
+
 .highlight .gr {
   color: #960050;
 }
+
 .highlight .gt {
   color: #960050;
 }
+
 .highlight .gd {
   color: #49483e;
 }
+
 .highlight .gi {
   color: #49483e;
 }
+
 .highlight .ge {
   color: #49483e;
 }
+
 .highlight .kc {
   color: #66d9ef;
 }
+
 .highlight .kd {
   color: #66d9ef;
 }
+
 .highlight .kr {
   color: #66d9ef;
 }
+
 .highlight .no {
   color: #66d9ef;
 }
+
 .highlight .kt {
   color: #66d9ef;
 }
+
 .highlight .mf {
   color: #ae81ff;
 }
+
 .highlight .mh {
   color: #ae81ff;
 }
+
 .highlight .il {
   color: #ae81ff;
 }
+
 .highlight .mi {
   color: #ae81ff;
 }
+
 .highlight .mo {
   color: #ae81ff;
 }
+
 .highlight .m, .highlight .mb, .highlight .mx {
   color: #ae81ff;
 }
+
 .highlight .sc {
   color: #ae81ff;
 }
+
 .highlight .se {
   color: #ae81ff;
 }
+
 .highlight .ss {
   color: #ae81ff;
 }
+
 .highlight .sd {
   color: #e6db74;
 }
+
 .highlight .s2 {
   color: #e6db74;
 }
+
 .highlight .sb {
   color: #e6db74;
 }
+
 .highlight .sh {
   color: #e6db74;
 }
+
 .highlight .si {
   color: #e6db74;
 }
+
 .highlight .sx {
   color: #e6db74;
 }
+
 .highlight .s1 {
   color: #e6db74;
 }
+
 .highlight .s, .highlight .sa, .highlight .dl {
   color: #e6db74;
 }
+
 .highlight .na {
   color: #a6e22e;
 }
+
 .highlight .nc {
   color: #a6e22e;
 }
+
 .highlight .nd {
   color: #a6e22e;
 }
+
 .highlight .ne {
   color: #a6e22e;
 }
+
 .highlight .nf, .highlight .fm {
   color: #a6e22e;
 }
+
 .highlight .vc {
-  color: #ffffff;
+  color: #fff;
   background-color: #272822;
 }
+
 .highlight .nn {
-  color: #ffffff;
+  color: #fff;
   background-color: #272822;
 }
+
 .highlight .nl {
-  color: #ffffff;
+  color: #fff;
   background-color: #272822;
 }
+
 .highlight .ni {
-  color: #ffffff;
+  color: #fff;
   background-color: #272822;
 }
+
 .highlight .bp {
-  color: #ffffff;
+  color: #fff;
   background-color: #272822;
 }
+
 .highlight .vg {
-  color: #ffffff;
+  color: #fff;
   background-color: #272822;
 }
+
 .highlight .vi {
-  color: #ffffff;
+  color: #fff;
   background-color: #272822;
 }
+
 .highlight .nv, .highlight .vm {
-  color: #ffffff;
+  color: #fff;
   background-color: #272822;
 }
+
 .highlight .w {
-  color: #ffffff;
+  color: #fff;
   background-color: #272822;
 }
+
 .highlight {
-  color: #ffffff;
+  color: #fff;
   background-color: #272822;
 }
+
 .highlight .n, .highlight .py, .highlight .nx {
-  color: #ffffff;
+  color: #fff;
   background-color: #272822;
 }
+
 .highlight .ow {
   color: #f92672;
 }
+
 .highlight .nt {
   color: #f92672;
 }
+
 .highlight .k, .highlight .kv {
   color: #f92672;
 }
+
 .highlight .kn {
   color: #f92672;
 }
+
 .highlight .kp {
   color: #f92672;
 }
+
 .highlight .o {
   color: #f92672;
 }