Just messing around with Bootstrap.

I may not keep this. Honestly, it needs to be dynamic. It's too hard to
manually include, say, the header in every single file. Not sure if I'll
use PHP or another language for it.