/usr/share/hevea/url.hva is in hevea 2.18-1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 | \@primitives{url}%
\def\@urlttstyle{\def\UrlFont{\ttfamily}}%
\def\@urlsfstyle{\def\UrlFont{\sffamily}}%
\def\@urlrmstyle{\def\UrlFont{\rmfamily}}%
\def\urlstyle#1{\csname @url#1style\endcsname}%
\urlstyle{tt}%
\def\url{\begingroup\urlstyle{tt}\Url}%
\let\UrlLeft\relax\let\UrlRight\relax%
|