@@ -1,11 +1,13 @@
1\documentclass[12pt]{article}
1\documentclass[12pt]{article}
2\usepackage{txfonts}
2\usepackage{txfonts}
3−\usepackage{hyperref}
3+\usepackage[breaklinks=true]{hyperref}
4\usepackage{ucs}
4\usepackage{ucs}
5\usepackage[utf8x]{inputenc}
5\usepackage[utf8x]{inputenc}
6\usepackage{graphicx}
6\usepackage{graphicx}
7−\setlength{\parindent}{0pt}
7+\usepackage{array}
8−\setlength{\parskip}{6pt plus 2pt minus 1pt}
9% This is needed for code blocks in footnotes:
8% This is needed for code blocks in footnotes:
10\usepackage{fancyvrb}
9\usepackage{fancyvrb}
11\VerbatimFootnotes
10\VerbatimFootnotes
11+% This is needed because raggedright in table elements redefines //:
12+\newcommand{\PreserveBackslash}[1]{\let\temp=\\#1\let\\=\temp}
13+\let\PBS=\PreserveBackslash