-
Kim Nguyen authored
* clean-up the HTML and css, prefix every id and class with why3- to allow for easier integration with other projects * Bug fixes : - make the panels resizable by dragging the middle bar - remove the menus and put an iconbar instead
bdc7da81