From 812e24d5583896a0f3e287dcdf48f8a10d3948c7 Mon Sep 17 00:00:00 2001
From: Holger Weiss <holger@zedat.fu-berlin.de>
Date: Fri, 6 Dec 2013 16:56:25 +0100
Subject: plugins.css: Don't underline /download/ links

---
 web/input/resources/plugins.css | 29 +++++++++++++++++++----------
 1 file changed, 19 insertions(+), 10 deletions(-)

(limited to 'web/input')

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;
 }
 
@@ -146,6 +138,23 @@ p#news-footer {
     font-size: small;
 }
 
+/*
+ * 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.
-- 
cgit v1.2.3-74-g34f1