Shared colors

2022-08-15 14:45:55 -06:00
parent 50fdebbdbe
commit f3a18a8f7c
3 changed files with 4 additions and 21 deletions
@@ -23,12 +23,9 @@
 }

 #news {
-  clear: both;
-  border: 1px solid #eee;
-  background-color: #f8f8f8;
+  background-color: var(--ol-accent-background-color);
  border-radius: 4px;
-  padding: 1rem 1rem 0;
-  margin: 0 1rem 0 1rem;
+  padding: 1rem 0 0;
 }

 #news h1 {
@@ -51,7 +48,3 @@ img.thumb {
 .over .ol-overlaycontainer-stopevent {
  opacity: 1;
 }
-
-ul.sponsors {
-  background-color: #f8f8f8;
-}
@@ -65,16 +65,6 @@ footer a:focus {
  text-decoration: underline;
 }

-pre[class*="language-"] {
-  background: #FFFFFF;
-  font-size: 87.5%;
-}
-
-pre {
-  border: 1px solid #eee;
-  border-radius: 0;
-}
-
 .navbar {
  background-color: var(--ol-foreground-color);
  color: var(--ol-background-color);