Issue 263: improve styling of toggle button
Use Helvetica as font for the documentation to improve styling of toggle buttons