Code highlight CSS changes
Removed uneeded semiautovivification