diff options
author | Hugo Parente Lima <hugo.pl@gmail.com> | 2011-06-02 17:09:46 -0300 |
---|---|---|
committer | Hugo Parente Lima <hugo.pl@gmail.com> | 2012-03-08 16:15:24 -0300 |
commit | 811c7cb53af4134fd419bc31ca3bcb04cfc262b0 (patch) | |
tree | 81e24cfa1e40b2c2f9e7e698b5a117eac23ba699 /doc/_themes/pysidedocs/static/pysidedocs.css | |
parent | d8ffe3ff6633f968655f05c4f788bed9ac7316f7 (diff) |
Fix bug 827 - "Anchor sign for headers to copy links for sections"
Diffstat (limited to 'doc/_themes/pysidedocs/static/pysidedocs.css')
-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 { |