better explanation of bootstrap
update to header styles for bootstrap 3
added yesod-devel/ to ignore in case people use that