\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}