Reduce permalink font-size

moinwiki · Oct 28, 2023 · 25b0048 · 25b0048
1 parent e05469a
commit 25b0048
Show file tree

Hide file tree

Showing 3 changed files with 6 additions and 2 deletions.
diff --git a/src/moin/themes/basic/static/css/theme.css b/src/moin/themes/basic/static/css/theme.css
@@ -5905,6 +5905,7 @@ h3:focus .moin-permalink,
 h4:focus .moin-permalink,
 h5:focus .moin-permalink,
 h6:focus .moin-permalink {
+  font-size: 80%;
   display: inline;
   text-decoration: none;
 }
@@ -5918,6 +5919,7 @@ h2 {
   background-color: #90ADC6;
 }
 .moin-permalink {
+  font-size: 80%;
   display: none;
 }
 .moin-permalink:after {

diff --git a/src/moin/themes/basic/static/custom-less/theme.less b/src/moin/themes/basic/static/custom-less/theme.less
@@ -22,6 +22,7 @@ h1, h2, h3, h4, h5, h6 {
 
   &:hover, &:focus {
     .moin-permalink {
+      font-size:80%;
       display: inline;
       text-decoration: none;
     }
@@ -36,6 +37,7 @@ h2 { font-size: 1.5em; }
 }
 
 .moin-permalink {
+  font-size:80%;
   display: none;
 }
 

diff --git a/src/moin/themes/modernized/static/css/theme.css b/src/moin/themes/modernized/static/css/theme.css
@@ -121,13 +121,13 @@ ul.moin-breadcrumb li:hover ul.moin-alias { display:block; }
 li.moin-panel-heading { display:none; }
 
 a.moin-permalink { display:none; cursor:pointer; margin-left:.1em; color:var(--permalink_color); }
-a.moin-permalink:hover.moin-permalink { color:var(--nonexistent_hover_color); }
+a.moin-permalink:hover.moin-permalink { font-size:80%; color:var(--nonexistent_hover_color); }
 h1:hover .moin-permalink,
 h2:hover .moin-permalink,
 h3:hover .moin-permalink,
 h4:hover .moin-permalink,
 h5:hover .moin-permalink,
-h6:hover .moin-permalink { display:inline; text-decoration:none; }
+h6:hover .moin-permalink { font-size:80%; display:inline; text-decoration:none; }
 .moin-permalink:after { content:"\f1dd"; font-family:FontAwesome; }
 
 .moin-search-option-bar { width:75%; padding-left:14px; }