Improvements in toolbar for Android
Currently, the toolbar as quite crowded - especially in Android this is bad as the user has to scroll through the list of alternatives (which is counter intuitive). The toolbar shall be cleaned up, e.g.:
- Merge alignment buttons into one
- Do not show library selector when the rich text editor is shown
- Convert the style selector into a symbol button