summaryrefslogtreecommitdiffstats
path: root/web/input/resources
diff options
context:
space:
mode:
authorHolger Weiss <holger@zedat.fu-berlin.de>2013-10-15 00:04:50 (GMT)
committerHolger Weiss <holger@zedat.fu-berlin.de>2013-10-15 00:04:50 (GMT)
commit9974bad04741695b8a0ff17f426a24f33399e219 (patch)
treea64d25272ac40beefa2fdf0fb318aa5f20c0d6c9 /web/input/resources
parentc81e7600e746cf4f6014782458d96135e4280ca2 (diff)
downloadsite-9974bad04741695b8a0ff17f426a24f33399e219.tar.gz
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>.
Diffstat (limited to 'web/input/resources')
-rw-r--r--web/input/resources/plugins.css2
1 files changed, 1 insertions, 1 deletions
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 {
39 font-size: small; 39 font-size: small;
40} 40}
41 41
42div#github-ribbon { 42div#github-ribbon a img {
43 position: absolute; 43 position: absolute;
44 top: 0; 44 top: 0;
45 right: 0; 45 right: 0;