[gentoo-commits] proj/devmanual:master commit in: /

[Ulrich Müller]

commit:     7270decd622d47c494116a9c7ccbbae7fabc70fd
Author:     Ulrich Müller <ulm <AT> gentoo <DOT> org>
AuthorDate: Thu Feb 25 23:49:07 2021 +0000
Commit:     Ulrich Müller <ulm <AT> gentoo <DOT> org>
CommitDate: Thu Feb 25 23:49:07 2021 +0000
URL:        https://gitweb.gentoo.org/proj/devmanual.git/commit/?id=7270decd

devmanual.css: Use margin instead of padding for permalink

Signed-off-by: Ulrich Müller <ulm <AT> gentoo.org>

 devmanual.css | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/devmanual.css b/devmanual.css
index bba2a31..83f6b14 100644
--- a/devmanual.css
+++ b/devmanual.css
@@ -34,7 +34,7 @@ pre span.Comment { color: red; }
 pre span.Statement { color: darkred; }
 
 a.permalink {
-    padding: 0 0.3em;
+    margin: 0em 0.3em;
     font-size: 90%;
     text-decoration: none;
     visibility: hidden;