diff server_side/html_tools.py @ 68:c378653792b8

browser side: menu CSS update
author Adrien Vigneron <adrienvigneron@mailoo.org>
date Wed, 15 Jun 2011 20:22:53 +0200
parents 9d8e79ac4c9c
children ddfcc4cb6cee
line wrap: on
line diff