\usepackage[          % set page and margin sizes

   a4paper,

   twoside=false,

   top=10mm,

   bottom=10mm,

   left=20mm,

   right=20mm,

   bindingoffset=10mm,

   head=10mm,

   foot=10mm,

   headsep=10mm,

   footskip=10mm,

   includeheadfoot,

 ]{geometry}

 \usepackage{times}                   % use PostScript fonts

 %\usepackage{ngerman}                % causes ! Illegal parameter number in definition of \grmn@originalTeX. <to be read again> \penalty l.53 \selectlanguage{austrian}

 \usepackage{relsize}                 % relative font sizes \smaller \larger

 \usepackage[iso-8859-1]{inputenx}    % so can use Umlaut chars  �, �

 \usepackage{textcomp}                % symbols such as \texttimes and \texteuro

 \usepackage[bf]{titlesec}

 % format chapter captions (vorher \Huge)

 \titleformat{\chapter}{\bf\huge}{\thechapter\quad}{0em}{}

 \titlespacing*{\chapter}{0em}{-2em}{1.5em}

 % use caption and subfig (caption2 and subfigure are now obsolete)

 \usepackage[

   position=bottom,

   margin=1cm,

   font=small,

   labelfont={bf,sf},

   format=hang,

   indention=0mm,

 ]{caption,subfig}

 \captionsetup[subfigure]{

   margin=0pt,

   parskip=0pt,

   hangindent=0pt,

   indention=0pt,

   singlelinecheck=true,

 }

 % fancyhdr to make nice headers and footers

 % and deal with long chapter names

 \usepackage{fancyhdr}         % headers and footers

 \pagestyle{fancy}             % must call to set defaults before redefining

 \renewcommand{\headrulewidth}{0mm}

 \renewcommand{\footrulewidth}{0mm}

 \fancyhf{}

 \fancyhead[R]{\thepage}

 \fancyhead[L]{

   \parbox[t]{0.8\textwidth}{\nouppercase{\leftmark}}

 }

 % \usepackage{tabularx}                 % for better tables

 \usepackage{multirow}

 \usepackage{listings}                 % for listings of source code

 \usepackage{amsmath}

 \usepackage[austrian,english]{babel}  % load babel *before* natbib or jurabib

 \usepackage[square]{natbib}         % natbib but with my own knat.bst

                                     % made with the custom-bib package

 \usepackage{url}

 \def\UrlFont{\small\ttfamily}

 \usepackage{latexsym}

 \usepackage{color}

 \definecolor{lightgrey}{gray}{0.8}

 % \definecolor{darkgreen}{rgb}{0,0.2,0}

 % \definecolor{darkblue}{rgb}{0,0,0.2}

 % \definecolor{darkred}{rgb}{0.2,0,0}

 \usepackage{ifpdf}

 %begin{latexonly}

 \ifpdf

   % pdflatex

   \usepackage[pdftex]{graphicx}

   \DeclareGraphicsExtensions{.pdf,.jpg,.png}

   \pdfcompresslevel=9

   \pdfpageheight=297mm

   \pdfpagewidth=210mm

   \usepackage{rotating}				% sidewaystable

   \usepackage[         % hyperref should be last package loaded

     pdftex,

     pdftitle={Automating Test Case Generation from Transition Systems via Symbolic Execution and SAT Solving},

     pdfsubject={Master's Thesis},

     pdfauthor={Elisabeth Joebstl},

     pdfkeywords={Model-Based Testing, Conformance Testing, Automated Test Case Generation, Input Output Symbolic Transition Systems, Symbolic Execution, SMT Solving},

     bookmarks,

     bookmarksnumbered,

     linktocpage,

     pagebackref,

     colorlinks,

     linkcolor=black,

     anchorcolor=black,

     citecolor=black,

     urlcolor=black,

     pdfview={FitH},

     pdfstartview={Fit},

     pdfpagemode=UseOutlines,       % open bookmarks in Acrobat

     plainpages=false,              % avoids duplicate page number problem

     pdfpagelabels,                 % avoids duplicate page number problem

   ]{hyperref}

   \renewcommand*{\backref}[1]{}

   \renewcommand*{\backrefalt}[4]{

   \ifcase #1

   (Not cited.)

   \or

   (Cited on page~#2.)

   \else

   (Cited on pages~#2.)

   \fi

   }

   \renewcommand*{\backrefsep}{, }

   \renewcommand*{\backreftwosep}{ and~}

   \renewcommand*{\backreflastsep}{ and~}

 \else

   % latex

   \usepackage{rotating}				% sidewaystable

   \usepackage{graphicx}

   \DeclareGraphicsExtensions{.eps}

 \fi

 %end{latexonly}

 % \includeonly{intro,biblio}   % selective inclusion

 \newcommand{\halfh}{9.5cm}        % height of figures for 2 per page

 \newcommand{\thirdh}{6cm}         % height of figures for 3 per page

 \setlength{\parskip}{3pt plus 1pt minus 0pt}  % vert. space before a paragraph

 \setcounter{tocdepth}{2}        % lowest section level entered in ToC % TODO FIXXME: wieder auf 1 zurücksetzen?

 \setcounter{secnumdepth}{2}     % lowest section level still numbered

 \input{thesis-macros}

 % Reduce vertical distance between items

 % itemize

 \let\origitemize\itemize

 \def\itemize{\origitemize\itemsep0pt}

 %enumerate

 \let\origenumerate\enumerate

 \def\enumerate{\origenumerate\itemsep0pt}

 % FIXXME: bessere Positionierung der Graphiken

 %\setcounter{totalnumber}{8}

 %\setcounter{topnumber}{5}

 %\setcounter{bottomnumber}{5}

 %\renewcommand{\topfraction}{0.999}

 %\renewcommand{\bottomfraction}{0.999}

 %\renewcommand{\textfraction}{0.0005}