Release v0.12.0

Release v0.12.0#

Changed sizes of headers in CSS.