Get to work with python3
Hoang customized the bootstrap CSS a bit, so this restores it