Rufus Pollock 7963dc2a09 [#116,view/grid][m]: fixed header on grid table so you can scroll and header stays fixed - fixes #116. ...

* [s] in changes by [m] in effort
* pretty painful to do and we now have to set width of columns explicitly - though this will be useful going forward if we allow adjustable width columns.
* even support different width scrollbars in different browsers (have not tested in IE though!)
* remaining bug is that we have an overhang in header when no scrollbar for body (probably not that hard to fix ...)

2012-05-17 13:22:42 +01:00

..

images

[theme,refactor,css][xs]: move site css into css/site directory from css/.

2012-05-15 03:43:30 +01:00

site

[theme,refactor,css][xs]: move site css into css/site directory from css/.

2012-05-15 03:43:30 +01:00

data-explorer.css

[#82,notifications][s]: less obtrusive notifications - fixes #82.

2012-05-15 04:42:12 +01:00

graph.css

[#85,view/graph,ux][s]: show a message on graph view when no graph yet there giving instructions on how to plot a graph (was a big ux fail) - fixes #85.

2012-04-25 22:27:01 +01:00

grid.css

[#116,view/grid][m]: fixed header on grid table so you can scroll and header stays fixed - fixes #116.

2012-05-17 13:22:42 +01:00

map.css

[merge] from upstream master

2012-04-16 17:45:25 +02:00