border würde ich weglassen, siehe auch
Beitrag
RE: Trennlinien in Lesezeichen lassen sich schlecht verschieben
Kann man per userChrome.css
(Quelltext, 6 Zeilen)
Die Linie, die du bislang siehst, ist eine Randlinie. Die entfällt, dafür wird der Separator selbst mit jener Farbe gefüllt und die Höhe durch das padding angepasst. Also wenn du jetzt die graue Linie ziehst, sollte das besser machbar sein
Das ist jetzt für Windows 10, wird auch im Browser getrennt behandelt:
(Quelltext, 8 Zeilen)
Daher könnte die vollständige Fassung besser sein, weil unter anderen Windows ein anderes CSS genutzt wird.
Und wenn…
(Quelltext, 6 Zeilen)
Die Linie, die du bislang siehst, ist eine Randlinie. Die entfällt, dafür wird der Separator selbst mit jener Farbe gefüllt und die Höhe durch das padding angepasst. Also wenn du jetzt die graue Linie ziehst, sollte das besser machbar sein
Das ist jetzt für Windows 10, wird auch im Browser getrennt behandelt:
(Quelltext, 8 Zeilen)
Daher könnte die vollständige Fassung besser sein, weil unter anderen Windows ein anderes CSS genutzt wird.
Und wenn…
.DeJaVu