On Sun, May 26, 2013 at 7:42 AM, David Suárez wrote: > Patch attached. The patch isn't going to work if the user-agent doesn't have JavaScript support. For Debian websites we prefer to use progressive enhancement; we make it work without CSS or JS and add JS/CSS to enhance the user experience where needed. -- bye, pabs http://wiki.debian.org/PaulWise