header { background-color: #CDCDCD; }
div.box { font-size: 1.2em; }
codex { font-size: 1.2em; }