diff options
Diffstat (limited to 'user_guide_src')
| -rw-r--r-- | user_guide_src/source/_themes/eldocs/static/asset/css/common.css | 4 |
1 files changed, 2 insertions, 2 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 197739a57..5cbb37f94 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; margin-left: 0.4em } +a.headerlink{ visibility: hidden; margin-left: 0.4em; } :hover > a.headerlink { visibility: visible; } @@ -350,4 +350,4 @@ fieldset{ border: 0; } h3,h4,h5,h6{ font-size: 14px; } } -#header input[type="submit"], x:-moz-any-link{ padding: 4px 10px; } +#header input[type="submit"], x:-moz-any-link{ padding: 4px 10px; }
\ No newline at end of file |