Badshahi Mosque is an important example of Mughal architecture in Lahore, Pakistan. Its exterior is decorated with carved red sandstone with marble inlay. The artist has produced a miniature-style version of the front elevation of the mosque, various cross-sections of the mosque, and a map of the mosque grounds.