Roma çimentosu
'nin süslü güney kapısının üzerinde Roma çimentolarına oyulmuş yedi figür durmaktadır. ]]
Roma çimentosu 1780'lerde James Parker tarafından geliştirilen ve 1796'da patenti alınan bağlayıcı türünden bir yapı malzemesidir. Aslında Romalılar tarafından kullanılan yapı malzemeleriyle hiçbir ilgisi yoktur.