Small changes to css and doc server routing.