A red ribbon is pictured outside of Austin City Hall following a ceremony in observance of World AIDS Day on Tuesday evening. Staff photo by Christopher Fryer