During a sale at a local store, a shirt originally priced at $20 was discounted by $5. How much does the shirt cost after the discount?