adjust header margins
authorMichael Wallner <mike@php.net>
Sat, 8 Nov 2014 07:30:03 +0000 (08:30 +0100)
committerMichael Wallner <mike@php.net>
Sat, 8 Nov 2014 07:30:03 +0000 (08:30 +0100)
commit3c97d1ecf16c7dbf095a55ba40ce547fefbca604
tree3662ce7b2cb0a308c58bcdbb916a17621d285103
parenta0cb332ac5d8e9f297920200d9e8099701051c89
adjust header margins
public/index.css