Man page css: indentation for list of plugins