Chalarangelo/mini.css

Allow for adjusting header height more easily

Offen

#159 geöffnet am 11.07.2019

 (0 Kommentare) (0 Reaktionen) (0 zugewiesene Personen)CSS (199 Forks)github user discovery
Gluonenhancementhelp wanted

Repository-Metriken

Stars
 (2.947 Sterne)
PR-Merge-Metriken
 (Keine gemergten PRs in 30 T)

Beschreibung

Currently trying to make a header with a lower or higher height is a very frustrating process. I would suggest for a method that would make it more accesible for people to adjust the height. It's a small nitpick though.

When making the height bigger, the backdrop element / background color for focused buttons doesn't scale. Making the header height smaller results in header elements not vertically centering themselves in the actual height of the header.

Contributor Guide