# HG changeset patch # User Christophe Lincoln # Date 1398377393 -7200 # Node ID 680898a6c0d79ffeeb1c2c53c68a43a4b304c04d # Parent 84357a7b43f3e6583631bf4148df095e0a53b323 arm: fix mobile menu diff -r 84357a7b43f3 -r 680898a6c0d7 arm/header.html --- a/arm/header.html Thu Apr 24 19:28:32 2014 +0100 +++ b/arm/header.html Fri Apr 25 00:09:53 2014 +0200 @@ -13,7 +13,7 @@