Thomas Gelf 25758332ab CSS/monitoring: get rid of different formatting ... First attempt to clean up the GUI, "same" elements looked different in different places. TODO: move more monitoriny-only CSS to the monitoring module		2014-06-17 12:53:39 +00:00
..
module.less	CSS/monitoring: get rid of different formatting	2014-06-17 12:53:39 +00:00