Update svgedit.css

master
JFH 2021-09-30 00:10:05 +02:00
parent 1930c09285
commit eac6bd2d0d
1 changed files with 7 additions and 8 deletions

View File

@ -18,7 +18,7 @@
.svg_editor { .svg_editor {
display: grid; display: grid;
grid-template-rows: auto 15px 1fr 40px; grid-template-rows: auto 15px 1fr 40px;
grid-template-columns: 34px 15px 50px 1fr 15px; grid-template-columns: 40px 15px 50px 1fr 15px;
grid-template-areas: grid-template-areas:
"main main main top top" "main main main top top"
"left corner rulerX rulerX side" "left corner rulerX rulerX side"
@ -317,10 +317,10 @@ hr {
overflow: auto; overflow: auto;
display: flex; display: flex;
align-items: center; align-items: center;
scrollbar-width: thin; scrollbar-width: thin; /* Firefox */
} }
#tools_bottom ::-webkit-scrollbar { #tools_bottom ::-webkit-scrollbar { /* Chrome, Edge, and Safari */
width: 3px; width: 3px;
} }
@ -339,14 +339,13 @@ hr {
#tools_left { #tools_left {
grid-area: left; grid-area: left;
border-right: none; border-right: none;
margin-left: auto;
margin-right: auto;
overflow-y: scroll; overflow-y: scroll;
/* Works on Firefox */ scrollbar-width: thin; /* Firefox */
scrollbar-width: 3px;
scrollbar-color: rgb(70, 70, 70) auto;
} }
/* Scrollbar styling on Chrome, Edge, and Safari */ #tools_left::-webkit-scrollbar { /* Chrome, Edge, and Safari */
#tools_left::-webkit-scrollbar {
width: 3px; width: 3px;
} }