7 commits

Author	SHA1	Message	Date
Sören Brunk	6fbd55b282	replace the jumbotron class with something that doesn't change font sizes	2014-05-02 16:44:09 +02:00
Sören Brunk	70ea7fbcdb	add some padding by nesting layout elements	2014-04-21 19:48:50 +02:00
Sören Brunk	ccc8afb59d	don't close tags that are closed by hamlet	2014-04-21 19:47:21 +02:00
Sören Brunk	d2b42c30ad	bootstrap3 glyphicons	2014-04-21 19:45:22 +02:00
Sören Brunk	23091cc318	adapt templates to bootstrap3 layout and class changes	2014-04-21 19:45:18 +02:00
Joey Hess	0ef8d806ac	gratuitous rename HomeR -> DashboardR	2013-03-12 22:18:36 -04:00
Joey Hess	de2e287133	webapp: Add UI to stop assistant. ... Would like to also have restart UI, but that's rather harder to do, seems it'd need to start another copy of the webapp, and redirect the browser to its new url, but running two assistants in the same repo at the same time isn't good.	2013-01-03 15:24:21 -04:00