diff options
author | Hugo Parente Lima <hugo.pl@gmail.com> | 2011-05-31 11:37:58 -0300 |
---|---|---|
committer | Hugo Parente Lima <hugo.pl@gmail.com> | 2012-03-09 19:10:16 -0300 |
commit | e3de600d1823595b6b9d43f0214acdb36bb60152 (patch) | |
tree | e49baa0cbb7222c6a91614cc0f6dc3bbc8cd92d4 /doc/_themes | |
parent | 2acdd73d6a0e63e0df9f8744ab8b6ee20c336666 (diff) |
Fix bug 827 - "Anchor sign for headers to copy links for sections"
Diffstat (limited to 'doc/_themes')
-rw-r--r-- | doc/_themes/pysidedocs/static/pysidedocs.css | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/doc/_themes/pysidedocs/static/pysidedocs.css b/doc/_themes/pysidedocs/static/pysidedocs.css index 741a6cfae..0a6a35a4f 100644 --- a/doc/_themes/pysidedocs/static/pysidedocs.css +++ b/doc/_themes/pysidedocs/static/pysidedocs.css @@ -138,7 +138,13 @@ pre * { } .headerlink { - display: none; + font-size: 100%; + color: inherit; + float: right; +} + +h1 .headerlink { + padding-right: 50px; } a, a:visited { |