fix header spacing
new visible line height css variable
fix pygments file name
fix header spacing