use Bootstrap for styling; change some other minor styling thingies