monkeyking

History

MinRK 977b96ef1f rollback #3358 closes #3391 For users who need to hide the scrollbars while zooming text in the meantime, you can add the following to your custom.css: ```css .CodeMirror-scroll, .CodeMirror-wrap .CodeMirror-scroll { overflow: scroll; } .CodeMirror-vscrollbar, .CodeMirror-scrollbar-filler, .CodeMirror-hscrollbar { visibility: hidden; } ```	13 years ago
..
style.less	Renaming notebooks->notebook in less and templates.	13 years ago
style.min.css	rollback #3358	13 years ago

MinRK 977b96ef1f rollback #3358

closes #3391

For users who need to hide the scrollbars while zooming text in the meantime, you can add the following to your custom.css:

```css
.CodeMirror-scroll, .CodeMirror-wrap .CodeMirror-scroll {
  overflow: scroll;
}

.CodeMirror-vscrollbar, .CodeMirror-scrollbar-filler, .CodeMirror-hscrollbar {
    visibility: hidden;
}
```

style.less

Renaming notebooks->notebook in less and templates.

style.min.css

rollback #3358