summaryrefslogtreecommitdiffstats
path: root/user_guide_src/source
diff options
context:
space:
mode:
authorAndrey Andreev <narf@devilix.net>2014-01-03 10:24:01 +0100
committerAndrey Andreev <narf@devilix.net>2014-01-03 10:24:01 +0100
commit82ba4560bd6bdb14667eb74a35ab99cbdc36d378 (patch)
treefe0dbe7f816ba2c984c970baa05fd8821165af3d /user_guide_src/source
parent3ee096a0b5d431f2d370b4c6b88b7f8862d85750 (diff)
parentfb1917d8afa41aed76f0be091d3ce13c767e9af5 (diff)
Merge pull request #2544 from HashemQolami/user-guide-patch
Fix User Guide CSS Issue
Diffstat (limited to 'user_guide_src/source')
-rw-r--r--user_guide_src/source/_themes/eldocs/static/asset/css/common.css13
1 files changed, 6 insertions, 7 deletions
diff --git a/user_guide_src/source/_themes/eldocs/static/asset/css/common.css b/user_guide_src/source/_themes/eldocs/static/asset/css/common.css
index 648e33032..197739a57 100644
--- a/user_guide_src/source/_themes/eldocs/static/asset/css/common.css
+++ b/user_guide_src/source/_themes/eldocs/static/asset/css/common.css
@@ -133,7 +133,7 @@ a:visited{ color: #1A5B8D; }
a:hover,
a:active{ color: #742CAC; }
-a.headerlink{ visibility: hidden; }
+a.headerlink{ visibility: hidden; margin-left: 0.4em }
:hover > a.headerlink { visibility: visible; }
@@ -261,12 +261,12 @@ fieldset{ border: 0; }
#header form{ float: right; overflow: hidden; }
#header input{ float: left; }
-
+
#header input[type="text"]{
background-color: #FFFFFF;
border: 1px solid;
border-color: #033861 #13598F #13598F #033861;
- font-size: inherit;
+ font: inherit;
margin-right: 5px;
padding: 5px;
width: 175px;
@@ -279,8 +279,9 @@ fieldset{ border: 0; }
border: 1px solid #033861;
color: #094776;
cursor: pointer;
+ font: inherit;
font-weight: bold;
- padding: 5px 10px 4px;
+ padding: 5px 10px;
text-transform: uppercase;
}
@@ -349,6 +350,4 @@ fieldset{ border: 0; }
h3,h4,h5,h6{ font-size: 14px; }
}
-@media screen and (-webkit-min-device-pixel-ratio:0){
- #header input[type="submit"]{ padding-bottom: 7px; }
-}
+#header input[type="submit"], x:-moz-any-link{ padding: 4px 10px; }