# HG changeset patch # User Christophe Lincoln # Date 1334097027 -7200 # Node ID e15090f4b65ad5884cd6b384af5f076463c75996 # Parent e851b74a7df5088b40b20cd71c64bd71ca393f01 pro: small CSS changes diff -r e851b74a7df5 -r e15090f4b65a pro/lib/html/header.html --- a/pro/lib/html/header.html Wed Apr 11 00:23:15 2012 +0200 +++ b/pro/lib/html/header.html Wed Apr 11 00:30:27 2012 +0200 @@ -2,13 +2,12 @@