aboutsummaryrefslogtreecommitdiff
path: root/haddock-api/resources/html/Classic.theme
diff options
context:
space:
mode:
authorBryn Edwards <bryn@protonmail.ch>2017-07-17 06:51:20 +0100
committerAlexander Biehl <alexbiehl@gmail.com>2017-07-17 07:51:20 +0200
commite9894ffb7777c6cc73100bd3339a4174bd3b9155 (patch)
tree6fc3ceffd31ce1905d4135752b72ad576ecb8152 /haddock-api/resources/html/Classic.theme
parent49a00880ad9bf0405f7da393d9e91523ec70fd2e (diff)
Fix #249 (#655)
Diffstat (limited to 'haddock-api/resources/html/Classic.theme')
-rw-r--r--haddock-api/resources/html/Classic.theme/xhaddock.css1
1 files changed, 1 insertions, 0 deletions
diff --git a/haddock-api/resources/html/Classic.theme/xhaddock.css b/haddock-api/resources/html/Classic.theme/xhaddock.css
index 19dc28ec..1bf668e9 100644
--- a/haddock-api/resources/html/Classic.theme/xhaddock.css
+++ b/haddock-api/resources/html/Classic.theme/xhaddock.css
@@ -285,6 +285,7 @@ div.top h5 {
padding: 0 8px 2px 5px;
margin-right: -3px;
background-color: #f0f0f0;
+ -moz-user-select: none;
}
div.subs {