Service URLs should be monospace

Author: pathawks

WebInterface.tex

@@ -10,7 +10,7 @@
 \begin{document}
 \newcommand{\type}[1]{\emph{\color{gray}#1}\ --\ }
 \newcommand{\relurl}[1]{\href{https://www.starexec.org/starexec/secure/#1}{\texttt{#1}}}
-\newcommand{\servicesurl}[1]{\href{https://www.starexec.org/starexec/#1}{#1}}
+\newcommand{\servicesurl}[1]{\href{https://www.starexec.org/starexec/#1}{\texttt{#1}}}
 
 \title{StarExec Web Interface}
 \author{}