diff server_side/html_tools.py @ 89:8d2c7be09eef

browser side: CSS: removed useless z-indexes, and replaced tabs by spaces
author Goffi <goffi@goffi.org>
date Mon, 27 Jun 2011 20:10:29 +0200
parents 9d8e79ac4c9c
children ddfcc4cb6cee
line wrap: on
line diff