plugins.css: Don't underline /download/ links

1 files changed, 19 insertions, 10 deletions

diff --git a/web/input/resources/plugins.css b/web/input/resources/plugins.css
index 872283e..b5df882 100644
--- a/web/input/resources/plugins.css
+++ b/web/input/resources/plugins.css
@@ -102,21 +102,13 @@ div#content {
     padding: 0.2em 1em 1em;
 }
 
-table /* Nginx Fancy Index. */ {
-    font-family: "Source Code Pro", monospace;
-    font-size: small;
-}
-
-div#content a,
-table a {
+div#content a {
     color: #3283c7;
     text-decoration: none;
     border-bottom: 1px dotted #3283c7;
 }
 
-div#content a:hover,
-table a:hover {
-    color: #3283c7; /* Overwrite Fancy Index CSS. */
+div#content a:hover {
     border-bottom: 1px solid #3283c7;
 }
 
@@ -147,6 +139,23 @@ p#news-footer {
 }
 
 /*
+ * Nginx Fancy Index.
+ */
+table {
+    font-family: "Source Code Pro", monospace;
+    font-size: small;
+}
+
+table a {
+    color: #3283c7;
+    text-decoration: none;
+}
+
+table a:hover {
+    color: #3283c7; /* Overwrite Fancy Index CSS. */
+}
+
+/*
  * On narrow displays, replace the menu bar with a simple list of items, and
  * omit the GitHub ribbon.
  */