Adjusted width of the navigation according to the new font-sizes.
Adjusted width of the navigation according to the new font-sizes.

MattiNieminen/clj-formal-specifications-app,MattiNieminen/clj-formal-specifications-app