dripstone

noun

• 1 Architecture a moulding over a door or window which deflects rain.

• 2 [mass noun] Geology rock deposited by precipitation from dripping water, such as that which forms stalactites and stalagmites.