Changed docs theme back to default #19.