Răsfoiți Sursa

added more padding

Gildas 6 ani în urmă
părinte
comite
b9e251ad4a
1 a modificat fișierele cu 1 adăugiri și 2 ștergeri
  1. 1 2
      extension/ui/content/content-ui.js

+ 1 - 2
extension/ui/content/content-ui.js

@@ -411,8 +411,7 @@ this.singlefile.ui = this.singlefile.ui || (() => {
 			lineElement.setAttribute("data-id", id);
 			lineElement.style.setProperty("display", "flex", "important");
 			lineElement.style.setProperty("justify-content", "space-between", "important");
-			lineElement.style.setProperty("padding-top", "2px", "important");
-			lineElement.style.setProperty("padding-bottom", "2px", "important");
+			lineElement.style.setProperty("padding", "2px", "important");
 			const textElement = createElement(LOGS_LINE_ELEMENT_TAGNAME, lineElement);
 			textElement.style.setProperty("font-size", "13px", "important");
 			textElement.style.setProperty("font-family", "arial, sans-serif", "important");