Chalarangelo/mini.css

Allow for adjusting header height more easily

Aperta

#159 aperta il 11 lug 2019

 (0 commenti) (0 reazioni) (0 assegnatari)CSS (199 fork)github user discovery
Gluonenhancementhelp wanted

Metriche repository

Star
 (2947 stelle)
Metriche merge PR
 (Nessuna PR mergiata in 30 g)

Descrizione

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.

Guida contributor