com web/php: Fixed bug 66517 by avoiding the margin altogether: styles/theme-base.css
| From: | Levi Morrison | Date: | Tue, 04 Mar 2014 04:02:52 +0000 |
| Subject: | com web/php: Fixed bug 66517 by avoiding the margin altogether: styles/theme-base.css | ||
| Groups: | php.webmaster | ||
| Request: | Send a blank email to php-webmaster+get-18393@lists.php.net to get a copy of this message | ||
Commit: cb31387978bd6e4f294f1207dc81a023d46a621f
Author: Levi Morrison <levim@php.net> Mon, 3 Mar 2014 21:02:52 -0700
Parents: b5564a9f18dcb85eb09e7fa62602062f7276b73c
Branches: master
Link: http://git.php.net/?p=web/php.git;a=commitdiff;h=cb31387978bd6e4f294f1207dc81a023d46a621f
Log:
Fixed bug 66517 by avoiding the margin altogether
Bugs:
https://bugs.php.net/66517
Changed paths:
M styles/theme-base.css
Diff:
diff --git a/styles/theme-base.css b/styles/theme-base.css
index bba8249..677a30e 100755
--- a/styles/theme-base.css
+++ b/styles/theme-base.css
@@ -454,9 +454,6 @@ hr {
position: relative;
z-index: 100;
}
-.page-tools .change-language {
- margin-bottom: 0.75em;
-}
.page-tools #changelang-langs {
font-size:.75em;
line-height:2;