b508a4f docs: Make most headers a bit smaller

Authored and Committed by Andrea Bolognani 7 years ago
    docs: Make most headers a bit smaller
    
    Headers are bold already, so the font doesn't need to be that
    big to draw attention.
    
        
file modified
+4 -4