fix nav, get spec-body div into include for cleaner markdown