css changes. fixes for notations