Johannes 'fish' Ziemke 3626b71c22 Improve graph UI. ...

- resize graphs on browser resize
- move status field to upper right corner to save some space
- align the legend width to the graph's width

2013-03-26 14:16:22 +01:00

..

exprBrowser.js

Move web-related code/resources to a subdirectory.

2013-02-08 14:52:36 +01:00

graph.js

Improve graph UI.

2013-03-26 14:16:22 +01:00