minor_changes

in the slide box #2, I changed "Ph" to "pH"; in proto.css, I made the
Information Bar's settings dialogue's header titles be 100% of the
header size, so there won't be a gap between the white and black border.