hard newverbs hard hyperref hard needspace hard xcolor hard listings hard shortvrb hard etoolbox hard xspace hard url hard showexpl hard float soft needspace