Cleanup some CSS

This commit is contained in:
the-djmaze 2022-02-14 17:37:58 +01:00
parent 5c22933628
commit 88c16f5c40
21 changed files with 17 additions and 60 deletions

View file

@ -10,10 +10,6 @@ samp,
pre {
padding: 0 3px 2px;
font-family: var(--fontMono);
font-size: @baseFontSize;
font-weight: normal;
line-height: @baseLineHeight;
font-size: @baseFontSize - 2;
border-radius: 3px;
}
@ -28,8 +24,6 @@ pre {
display: block;
padding: (@baseLineHeight / 2);
margin: 0 0 (@baseLineHeight / 2);
font-size: @baseFontSize - 1; // 14px to 13px
line-height: @baseLineHeight;
white-space: pre-wrap;
border: 1px solid rgba(0,0,0,.15);
border-radius: 4px;