Remove unused CSS

diff --git a/resources/style.css b/resources/style.css
index fa8e61ca47fcfc0ca9ba91463cdef5c2d0c4d1ee..7ae5c3d409251ed686387e8a860030571c696da0 100644 (file)
--- a/resources/style.css
+++ b/resources/style.css
@@ -34,95 +34,10 @@ a.line {
        text-decoration: none;
 }
 
-#blob {
-       display: block;
-       max-width: 100%;
-}
-
-article.markup {
-       font-size: 15px;
-       border: 2px solid #eee;
-       border-radius: 10px;
-       font-family: sans-serif;
-       padding: 2.5em;
-       margin: 2em 0;
-}
-
-article.markup code {
-       font-size: 0.9em;
-       border: 1px solid #dbdbdb;
-       background-color: #f7f7f7;
-       padding: 0 0.3em;
-       border-radius: 0.3em
-}
-
-article.markup pre code {
-       border: none;
-       background: none;
-       padding: 0;
-       border-radius: 0;
-}
-
-article.markup pre {
-       background-color: #f7f7f7;
-       padding: 1em;
-       border: 1px solid #dbdbdb;
-       border-radius: 0.3em;
-}
-
-article.markup h1 {
-       font-size: 2.4em;
-       padding-bottom: 6px;
-       border-bottom: 5px solid #0000000a;
-}
-
-article.markup h2 {
-       font-size: 1.9em;
-       padding-bottom: 5px;
-       border-bottom: 2px solid #00000014;
-}
-
-article.markup h3 {
-       font-size: 1.5em;
-}
-
-article.markup h4 {
-       font-size: 1.3em;
-}
-
-article.markup h5 {
-       font-size: 1.1em;
-}
-
-article.markup h6 {
-       font-size: 1em;
-}
-
 article img {
        max-width: 100%;
 }
 
-.linenos {
-       margin-right: 0;
-       border-right: 1px solid rgb(0 0 0 / 8%);
-       user-select: none;
-}
-
-.linenos a {
-       margin-right: 0.9em;
-       user-select: none;
-       text-decoration: none;
-}
-
-#blob a {
-       color: #777;
-}
-
-#blob a:hover {
-       color: #eee;
-       text-decoration: none;
-}
-
 a {
        color: #83a598;
 }
@@ -155,10 +70,6 @@ table td {
        white-space: normal;
 }
 
-td.num {
-       text-align: right;
-}
-
 .desc {
        color: #928374;
 }
@@ -169,10 +80,6 @@ hr {
        height: 1px;
 }
 
-pre {
-       font-family: monospace;
-}
-
 pre a.h {
        color: #fe8019;
 }