Commit:    0653bbc855afc45483215f6e25d58a6709eef463
Author:    Levi Morrison <[email protected]>         Mon, 3 Mar 2014 21:02:52 -0700
Parents:   8fc4c1d34c5f1d70242ed4c077493e4c36ceaa3c
Branches:  master

Link:       
http://git.php.net/?p=web/php.git;a=commitdiff;h=0653bbc855afc45483215f6e25d58a6709eef463

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;


--
PHP Webmaster List Mailing List (http://www.php.net/)
To unsubscribe, visit: http://www.php.net/unsub.php

Reply via email to