From f468db92778cd693e9d4964f0d8a725f2e04f2fb Mon Sep 17 00:00:00 2001
From: John MacFarlane <jgm@berkeley.edu>
Date: Mon, 21 Jan 2013 11:52:00 -0800
Subject: [PATCH] LaTeX template: Use `\urlstyle{same}` to avoid monospace
URLs.
---
data/templates | 2 +-
tests/lhs-test.latex | 1 +
tests/lhs-test.latex+lhs | 1 +
tests/writer.latex | 1 +
4 files changed, 4 insertions(+), 1 deletion(-)
diff --git a/data/templates b/data/templates
index 3474aecee..5ed01e0e8 160000
--- a/data/templates
+++ b/data/templates
@@ -1 +1 @@
-Subproject commit 3474aecee9948a9ab53c7bb78519c62d875a1158
+Subproject commit 5ed01e0e8ee7e8577e38e75d6d29c00479b09ead
diff --git a/tests/lhs-test.latex b/tests/lhs-test.latex
index b0d585261..4a37a2a67 100644
--- a/tests/lhs-test.latex
+++ b/tests/lhs-test.latex
@@ -53,6 +53,7 @@
urlcolor=blue,
linkcolor=magenta,
pdfborder={0 0 0}}
+\urlstyle{same} % don't use monospace font for urls
\setlength{\parindent}{0pt}
\setlength{\parskip}{6pt plus 2pt minus 1pt}
\setlength{\emergencystretch}{3em} % prevent overfull lines
diff --git a/tests/lhs-test.latex+lhs b/tests/lhs-test.latex+lhs
index 0e0744b3c..df1801bf3 100644
--- a/tests/lhs-test.latex+lhs
+++ b/tests/lhs-test.latex+lhs
@@ -35,6 +35,7 @@
urlcolor=blue,
linkcolor=magenta,
pdfborder={0 0 0}}
+\urlstyle{same} % don't use monospace font for urls
\setlength{\parindent}{0pt}
\setlength{\parskip}{6pt plus 2pt minus 1pt}
\setlength{\emergencystretch}{3em} % prevent overfull lines
diff --git a/tests/writer.latex b/tests/writer.latex
index b3faaaa98..c620f028c 100644
--- a/tests/writer.latex
+++ b/tests/writer.latex
@@ -44,6 +44,7 @@
urlcolor=blue,
linkcolor=magenta,
pdfborder={0 0 0}}
+\urlstyle{same} % don't use monospace font for urls
\usepackage[normalem]{ulem}
% avoid problems with \sout in headers with hyperref:
\pdfstringdefDisableCommands{\renewcommand{\sout}{}}