1
0
mirror of https://github.com/gorhill/uBlock.git synced 2024-11-07 03:12:33 +01:00

Minor CSS fix

This commit is contained in:
Raymond Hill 2021-10-18 09:11:34 -04:00
parent 18ae79cdf2
commit c2269d7202
No known key found for this signature in database
GPG Key ID: 25E1490B761470C2

View File

@ -1,5 +1,5 @@
/* https://protocol.mozilla.org/assets/docs/css/protocol.css */
@charset "UTF-8"; @charset "UTF-8";
/* https://protocol.mozilla.org/assets/docs/css/protocol.css */
@font-face { @font-face {
font-family: Inter; font-family: Inter;
font-style: normal; font-style: normal;
@ -58,7 +58,7 @@ code, .code {
background-color: var(--button-surface); background-color: var(--button-surface);
font-family: monospace; font-family: monospace;
font-size: smaller; font-size: smaller;
padding: 4px; padding: 2px 4px;
} }
hr { hr {
border: 0; border: 0;