make better use of medium width; more menu space tuning
authorRalf Jung <post@ralfj.de>
Thu, 8 Oct 2015 21:19:38 +0000 (23:19 +0200)
committerRalf Jung <post@ralfj.de>
Thu, 8 Oct 2015 21:19:38 +0000 (23:19 +0200)

No differences found