Refactor/styles (#202)

* style: general micro improvements in editor
* version bump
This commit is contained in:
Carlos Valente
2022-09-14 21:50:14 +02:00
committed by GitHub
parent b7e758bf24
commit 94b03312a6
11 changed files with 172 additions and 116 deletions
+3 -3
View File
@@ -32,16 +32,16 @@ option {
/* Track */
::-webkit-scrollbar-track {
background: rgba(255, 255, 255, 0.01);
border-radius: 4px;
border-radius: 2px;
}
/* Handle */
::-webkit-scrollbar-thumb {
background: rgba(255, 255, 255, 0.15);
border-radius: 4px;
border-radius: 2px;
}
/* Handle on hover */
::-webkit-scrollbar-thumb:hover {
background: rgba(255, 255, 255, 0.35);
background: rgba(255, 255, 255, 0.23);
}