> > >> > Log: > >> > Standardized headers to use `.title`; this is actually an old > convention > >> > we're re-enforcing. It should be much easier to create these headers > now. > >> > > >> > >> Oh. I remembered another reason why I added the "full width" header.. > >> On mobiles the white margin just feels weird and weirdly framed, while > >> with the full width header it seemed very logical. > > > > > > I can case this for smaller screens (or realistically, make it full-width > > default and special case large screens), if we want. At least I unified > the > > CSS a bit. > > > > > Looks like it made the mirror listing page a little weird: > http://www.php.net/get/php-5.5.7.tar.bz2/from/a/mirror
Yeah, seems that needs tweaking. Related: why don't we show the nearest mirror with a recommended mirror anymore?
