Simplify and optimize CSS for options dialog (especially buttons)
Optimize toolbarimages for more consistent look
Restyle Options dialog (constants, functions, operators) a bit for increased consistency
Some fixes to translations