Started on CSS stylesheet for HTML5 export