diff options
| author | Bryn Edwards <bryn@protonmail.ch> | 2017-07-17 06:51:20 +0100 |
|---|---|---|
| committer | Alexander Biehl <alexbiehl@gmail.com> | 2017-07-17 07:51:20 +0200 |
| commit | e9894ffb7777c6cc73100bd3339a4174bd3b9155 (patch) | |
| tree | 6fc3ceffd31ce1905d4135752b72ad576ecb8152 | |
| parent | 49a00880ad9bf0405f7da393d9e91523ec70fd2e (diff) | |
Fix #249 (#655)
| -rw-r--r-- | haddock-api/resources/html/Classic.theme/xhaddock.css | 1 | ||||
| -rw-r--r-- | haddock-api/resources/html/Ocean.std-theme/ocean.css | 1 |
2 files changed, 2 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 { diff --git a/haddock-api/resources/html/Ocean.std-theme/ocean.css b/haddock-api/resources/html/Ocean.std-theme/ocean.css index 3bfc8982..8d3f91a9 100644 --- a/haddock-api/resources/html/Ocean.std-theme/ocean.css +++ b/haddock-api/resources/html/Ocean.std-theme/ocean.css @@ -394,6 +394,7 @@ div#style-menu-holder { background: #f0f0f0; padding: 0 0.5em 0.2em; margin: 0 -0.5em 0 0; + -moz-user-select: none; } #interface .src .selflink { border-left: 1px solid #919191; |