some updates

better buttons, definition lists, better comments