Some perfunctory css styling, stuff to make navigation nicer