Sakurai/pdf.js
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Merge pull request #16980 from calixteman/rounded_resizers

Browse Source 
[Editor] Make the border of the resizers slightly rounded
This commit is contained in:
calixteman 2023-09-19 10:12:11 +02:00 committed by GitHub
commit b9469c2059
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
web/annotation_editor_layer_builder.css
View File

@ -254,7 +254,9 @@
width: var(--resizer-size); width: var(--resizer-size);
height: var(--resizer-size); height: var(--resizer-size);
background: var(--resizer-bg-color); background: var(--resizer-bg-color);
background-clip: content-box;
border: var(--focus-outline-around); border: var(--focus-outline-around);
border-radius: 2px;
position: absolute; position: absolute;
&.topLeft { &.topLeft {