postcondition outline bold icon