compiled HTML doc