log public/libervia.css @ 98:bd0ca532fdf9

age author description
Tue, 28 Jun 2011 13:49:08 +0200 Goffi browser side: changed borderWidgets' size to 10px
Tue, 28 Jun 2011 02:20:02 +0200 Goffi browser side: selecting widget now change header color instead of dashed borders
Mon, 27 Jun 2011 20:10:29 +0200 Goffi browser side: CSS: removed useless z-indexes, and replaced tabs by spaces