More adjustments to Bible HTML5 export and CSS