Révision | cc9ed2b78553e25ab14d7c752e2890086f9e5c8e (tree) |
---|---|
l'heure | 2020-02-09 11:10:31 |
Auteur | umorigu <umorigu@gmai...> |
Commiter | umorigu |
BugTrack/2501 Set Headings to-top link(dagger) "user-select:none;"
@@ -239,6 +239,7 @@ a.note_super { | ||
239 | 239 | div.jumpmenu { |
240 | 240 | font-size:60%; |
241 | 241 | text-align:right; |
242 | + user-select:none; | |
242 | 243 | } |
243 | 244 | |
244 | 245 | hr.full_hr { |
@@ -131,6 +131,7 @@ span.noexists { | ||
131 | 131 | div.jumpmenu { |
132 | 132 | font-size:60%; |
133 | 133 | text-align:right; |
134 | + user-select:none; | |
134 | 135 | } |
135 | 136 | |
136 | 137 | hr.note_hr { |