Formalized some CSS and HTML rules