More miscellaneous style updates
[gitweb] / static / gitweb.css
Chris MorganMore miscellaneous style updates
Chris Morganrss_logo → feed_logo
Chris MorganTweak page header appearance
Chris MorganPrettier header separator and text formatting
Chris MorganSearch highlighting <mark>, diff recolouring
Chris MorganSome miscellaneous style alterations
Chris MorganImprove time markup and tooltips
Chris MorganBolden the current item in .page_subhead
Chris MorganKill atnight
Chris MorganSort out some more fonty stuff, mostly size
Chris MorganComparatively light markup/style changes
Chris MorganRemove line numbers from selection
Chris MorganInitialise from git 2.34.2-1’s /usr/share/gitweb