[stylelint] simple theme: fix some errors reported by stylelint

Signed-off-by: Markus Heiser <markus.heiser@darmarit.de>
This commit is contained in:
Markus Heiser 2021-06-22 14:15:47 +02:00
parent 14b09c15c4
commit 0b7d03c694
4 changed files with 16 additions and 29 deletions

View file

@ -105,7 +105,6 @@ div.selectable_url {
padding: 4px;
color: @color-result-search-url-font;
width: 100%;
display: block;
margin: 0.1em;
overflow: hidden;
height: 1.2em;
@ -130,7 +129,7 @@ div.selectable_url {
position: absolute;
top: 0.5em;
left: 0.5em;
font-family: "ion";
font-family: "ion"; // stylelint-disable font-family-no-missing-generic-family-keyword
font-size: 1.5em;
}