From afdec252df10f6180fee66dc0bb9d7d229c358df Mon Sep 17 00:00:00 2001 From: Leon Isenberg Date: Fri, 15 Jul 2016 17:14:57 +0200 Subject: [PATCH] Haddock style: move selflink to the right --- static/haddock/style.css | 9 +++++++-- 1 file changed, 7 insertions(+), 2 deletions(-) diff --git a/static/haddock/style.css b/static/haddock/style.css index 574e75f..bb40250 100644 --- a/static/haddock/style.css +++ b/static/haddock/style.css @@ -288,6 +288,13 @@ code .diff { color:#555 } .src .def, .src .def:hover, .src a { color:#4F4371; text-decoration: none;} .src a[href]:hover { text-decoration: underline; } +.top > .src > .selflink { + padding-right: 0.5em; + float: right; + font-family: "Open Sans", sans-serif; + color: #428bca; +} + .top > .src > .link { float: right; font-family: "Open Sans", sans-serif; @@ -384,5 +391,3 @@ h4.collapser { font-size: 15px; font-weight: bold } } .doc.empty { display: none; } - -a.selflink { float right; padding-right: 0.5em }