# HG changeset patch # User Christophe Lincoln # Date 1486823576 -3600 # Node ID 73dde38a42cf8462cf3a3bf4ffc33d46836ee331 # Parent 8bda6c6b79a66cf28a8112bc7b606a86922224d2 Update header.html and css diff -r 8bda6c6b79a6 -r 73dde38a42cf web/lib/header.html --- a/web/lib/header.html Sat Feb 11 15:19:38 2017 +0100 +++ b/web/lib/header.html Sat Feb 11 15:32:56 2017 +0100 @@ -12,12 +12,12 @@