The problems described here are very minor issues. Thanks a lot for the explorer theme.
1. Incorrect configuration parameter in the documentation:
- one must replace 'explorer_sidebar_width' with 'explorer_default_sidebar_width'
2. After having changed the sidebar size (with the mouse, or through configuration), each screen redraw causes the sidebar to shift rapidly from the default position to the new position. This is annoying as the tool icons also shift left-right and one may click on the wrong one, when being too fast. I have found the following workaround:
- in wikiconfig.py: explorer_default_sidebar_width = u'10em'
- in moin/htdocs/explorer/css/screen.css: replace u'20em' to u'10em' everywhere (twice in each section 'Page' and 'Split Bar')