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

