github/overleaf
1
0
Fork 0
mirror of https://github.com/overleaf/overleaf.git synced 2025-02-17 09:53:18 +00:00
Code Issues Projects Releases Packages Wiki Activity

Increase resizer width; decrease hit area.

Browse source
This commit is contained in:
Paulo Reis 2018-03-16 17:00:33 +00:00
parent 3e65d6ff59
commit 78eb56a262
1 changed files with 7 additions and 7 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

14
services/web/public/stylesheets/app/editor.less
View file

@ -14,7 +14,7 @@
@import "./editor/review-panel.less"; @import "./editor/review-panel.less";
@ui-layout-toggler-def-height: 50px; @ui-layout-toggler-def-height: 50px;
@ui-resizer-extra-hit-area: 8px; @ui-resizer-extra-hit-area: 6px;
@keyframes blink { @keyframes blink {
0% { 0% {
@ -312,8 +312,8 @@
transparent, transparent,
transparent (@ui-resizer-extra-hit-area - 1px), transparent (@ui-resizer-extra-hit-area - 1px),
@editor-resizer-bg-color (@ui-resizer-extra-hit-area - 1px), @editor-resizer-bg-color (@ui-resizer-extra-hit-area - 1px),
@editor-resizer-bg-color (@ui-resizer-extra-hit-area + 1px), @editor-resizer-bg-color (@ui-resizer-extra-hit-area + 2px),
transparent (@ui-resizer-extra-hit-area + 1px), transparent (@ui-resizer-extra-hit-area + 2px),
transparent); transparent);
.ui-layout-toggler { .ui-layout-toggler {
@ -322,8 +322,8 @@
transparent, transparent,
transparent (@ui-resizer-extra-hit-area - 1px), transparent (@ui-resizer-extra-hit-area - 1px),
@editor-toggler-bg-color (@ui-resizer-extra-hit-area - 1px), @editor-toggler-bg-color (@ui-resizer-extra-hit-area - 1px),
@editor-toggler-bg-color (@ui-resizer-extra-hit-area + 1px), @editor-toggler-bg-color (@ui-resizer-extra-hit-area + 2px),
transparent (@ui-resizer-extra-hit-area + 1px), transparent (@ui-resizer-extra-hit-area + 2px),
transparent); transparent);
&:hover { &:hover {
@ -331,8 +331,8 @@
transparent, transparent,
transparent (@ui-resizer-extra-hit-area - 2px), transparent (@ui-resizer-extra-hit-area - 2px),
@editor-toggler-hover-bg-color (@ui-resizer-extra-hit-area - 2px), @editor-toggler-hover-bg-color (@ui-resizer-extra-hit-area - 2px),
@editor-toggler-hover-bg-color (@ui-resizer-extra-hit-area + 2px), @editor-toggler-hover-bg-color (@ui-resizer-extra-hit-area + 3px),
transparent (@ui-resizer-extra-hit-area + 2px), transparent (@ui-resizer-extra-hit-area + 3px),
transparent); transparent);
} }
} }