Look and feel improvements

Went back to using the Bootstrap controls mechanism for now, since it
looks better than anything I'm likely to do by myself.
Got Bootstrap-style tooltips working