UX: Make space for scrollbar in mini-profiler (#17524)

This commit is contained in:
Jarek Radosz 2022-07-16 10:12:44 +02:00 committed by GitHub
parent 9909d001c5
commit be6736c940
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -25,5 +25,6 @@ div.profiler-results.profiler-top {
&.profiler-right .profiler-button {
border-left: 1px solid var(--header_primary-low);
padding-right: 10px; // Make space for scrollbar
}
}