# HG changeset patch
# User wenzelm
# Date 1408013389 -7200
# Node ID ca3be9612d851d9152c36c3457437a9ccefb0c47
# Parent  b3baeeabfe0b0e7e0acb20f869771f0332d37df1
T1 font encoding with searchable underscore (requires proper cm-super fonts);

diff -r b3baeeabfe0b -r ca3be9612d85 src/Doc/Main/document/root.tex
--- a/src/Doc/Main/document/root.tex	Thu Aug 14 12:46:37 2014 +0200
+++ b/src/Doc/Main/document/root.tex	Thu Aug 14 12:49:49 2014 +0200
@@ -1,4 +1,5 @@
 \documentclass[12pt,a4paper]{article}
+\usepackage[T1]{fontenc}
 
 \oddsidemargin=4.6mm
 \evensidemargin=4.6mm