smaller headers, developer page fixes