From 9974bad04741695b8a0ff17f426a24f33399e219 Mon Sep 17 00:00:00 2001
From: Holger Weiss <holger@zedat.fu-berlin.de>
Date: Tue, 15 Oct 2013 02:04:50 +0200
Subject: Make sure IE draws no border around GitHub ribbon

Apply the CSS settings for the GitHub ribbon to the <img> tag, not to
the sorrounding <div>.

diff --git a/web/input/resources/plugins.css b/web/input/resources/plugins.css
index 299c6d4..187f3df 100644
--- a/web/input/resources/plugins.css
+++ b/web/input/resources/plugins.css
@@ -39,7 +39,7 @@ pre {
     font-size: small;
 }
 
-div#github-ribbon {
+div#github-ribbon a img {
     position: absolute;
     top: 0;
     right: 0;
-- 
cgit v0.10-9-g596f