diff options
| author | Holger Weiss <holger@zedat.fu-berlin.de> | 2013-10-15 00:04:50 (GMT) |
|---|---|---|
| committer | Holger Weiss <holger@zedat.fu-berlin.de> | 2013-10-15 00:04:50 (GMT) |
| commit | 9974bad04741695b8a0ff17f426a24f33399e219 (patch) | |
| tree | a64d25272ac40beefa2fdf0fb318aa5f20c0d6c9 /web | |
| parent | c81e7600e746cf4f6014782458d96135e4280ca2 (diff) | |
| download | site-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')
| -rw-r--r-- | web/input/resources/plugins.css | 2 |
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 | ||
| 42 | div#github-ribbon { | 42 | div#github-ribbon a img { |
| 43 | position: absolute; | 43 | position: absolute; |
| 44 | top: 0; | 44 | top: 0; |
| 45 | right: 0; | 45 | right: 0; |