Commit: bbd29a977c7fb96d5c936e0217f9587f7214eda1 - pukiwiki-fork (git)

Commit MetaInfo

• Revision: bbd29a977c7fb96d5c936e0217f9587f7214eda1 (tree)
• Zeit: 2020-02-09 11:10:31
• Autor: umorigu <umorigu@gmai...>
• Commiter: umorigu

Log Message

BugTrack/2500 Set Headings jump-to-top link "user-select:none;"

Ändern Zusammenfassung

• modified: skin/pukiwiki.css
• modified: skin/tdiary.css

Diff

--- a/skin/pukiwiki.css
+++ b/skin/pukiwiki.css
@@ -239,6 +239,7 @@ a.note_super {
 div.jumpmenu {
   font-size:60%;
   text-align:right;
+  user-select:none;
 }
 
 hr.full_hr {

--- a/skin/tdiary.css
+++ b/skin/tdiary.css
@@ -131,6 +131,7 @@ span.noexists {
 div.jumpmenu {
   font-size:60%;
   text-align:right;
+  user-select:none;
 }
 
 hr.note_hr {