0a56412 docs: Make menu entries smaller

Authored and Committed by Andrea Bolognani 8 years ago
    docs: Make menu entries smaller
    
    The menu should not take the focus away from the actual contents.
    
        
file modified
+0 -5