pulsar-edit/pulsar
1
1
Fork 0
mirror of https://github.com/pulsar-edit/pulsar.git synced 2024-09-11 11:15:24 +03:00
Code Issues Packages Projects Releases Wiki Activity

Fix dock styling

Browse Source
This commit is contained in:
confused-Techie 2023-06-28 01:39:03 -07:00
parent 4698374696
commit d682c8ea21
2 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
static/core-ui/docks.less
View File

@ -95,13 +95,13 @@ atom-dock {
width: @atom-dock-toggle-button-size;
height: @atom-dock-toggle-button-size;
&.bottom { height: @atom-dock-toggle-button-size / 2; }
&.left, &.right { width: @atom-dock-toggle-button-size / 2; }
&.bottom { height: (@atom-dock-toggle-button-size / 2); }
&.left, &.right { width: (@atom-dock-toggle-button-size / 2); }
.atom-dock-toggle-button-inner {
width: @atom-dock-toggle-button-size;
height: @atom-dock-toggle-button-size;
border-radius: @atom-dock-toggle-button-size / 2;
border-radius: (@atom-dock-toggle-button-size / 2);
position: absolute;
display: flex;

2
static/core-ui/text-editor.less
View File

@ -168,7 +168,7 @@ atom-text-editor[mini] {
contain: @contain_except_size;
font-size: @input-font-size;
line-height: @component-line-height;
max-height: @component-line-height + 2; // +2 for borders
max-height: (@component-line-height + 2); // +2 for borders
overflow: auto;
}