MNT: Make default font a bit bigger, make notebook tabs bold

Paul McCarthyrequested to merge
mnt/font into master

Merge request reports