better line-spacing
authorMichael Wallner <mike@php.net>
Mon, 2 Mar 2015 12:35:20 +0000 (13:35 +0100)
committerMichael Wallner <mike@php.net>
Mon, 2 Mar 2015 12:35:20 +0000 (13:35 +0100)
commit3b4575f6845cfdb14d9ec579abde579b83b7a9da
treec15c0543054009520df69ab8bcdf5f07c8d23721
parentc5efaeee1075614b4f8cc1ce373df1adcc4ee9fb
better line-spacing
public/index.css