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