
neuper@42070: \usepackage[          % set page and margin sizes
neuper@42070:   a4paper,
neuper@42070:   twoside=false,
neuper@42070:   top=10mm,
neuper@42070:   bottom=10mm,
neuper@42070:   left=20mm,
neuper@42070:   right=20mm,
neuper@42070:   bindingoffset=10mm,
neuper@42070:   head=10mm,
neuper@42070:   foot=10mm,
neuper@42070:   headsep=10mm,
neuper@42070:   footskip=10mm,
neuper@42070:   includeheadfoot,
neuper@42070: ]{geometry}
neuper@42070: 
neuper@42070: \usepackage{times}                   % use PostScript fonts
neuper@42070: %\usepackage{ngerman}                % causes ! Illegal parameter number in definition of \grmn@originalTeX. <to be read again> \penalty l.53 \selectlanguage{austrian}
neuper@42070: \usepackage{relsize}                 % relative font sizes \smaller \larger
neuper@42070: 
neuper@42070: \usepackage[iso-8859-1]{inputenx}    % so can use Umlaut chars  �, �
neuper@42070: 
neuper@42070: \usepackage{textcomp}                % symbols such as \texttimes and \texteuro
neuper@42070: 
neuper@42070: \usepackage[bf]{titlesec}
neuper@42070: % format chapter captions (vorher \Huge)
neuper@42070: \titleformat{\chapter}{\bf\huge}{\thechapter\quad}{0em}{}
neuper@42070: \titlespacing*{\chapter}{0em}{-2em}{1.5em}
neuper@42070: 
neuper@42070: % use caption and subfig (caption2 and subfigure are now obsolete)
neuper@42070: \usepackage[
neuper@42070:   position=bottom,
neuper@42070:   margin=1cm,
neuper@42070:   font=small,
neuper@42070:   labelfont={bf,sf},
neuper@42070:   format=hang,
neuper@42070:   indention=0mm,
neuper@42070: ]{caption,subfig}
neuper@42070: 
neuper@42070: \captionsetup[subfigure]{
neuper@42070:   margin=0pt,
neuper@42070:   parskip=0pt,
neuper@42070:   hangindent=0pt,
neuper@42070:   indention=0pt,
neuper@42070:   singlelinecheck=true,
neuper@42070: }
neuper@42070: 
neuper@42070: 
neuper@42070: 
neuper@42070: % fancyhdr to make nice headers and footers
neuper@42070: % and deal with long chapter names
neuper@42070: 
neuper@42070: \usepackage{fancyhdr}         % headers and footers
neuper@42070: \pagestyle{fancy}             % must call to set defaults before redefining
neuper@42070: 
neuper@42070: \renewcommand{\headrulewidth}{0mm}
neuper@42070: \renewcommand{\footrulewidth}{0mm}
neuper@42070: \fancyhf{}
neuper@42070: 
neuper@42070: \fancyhead[R]{\thepage}
neuper@42070: 
neuper@42070: \fancyhead[L]{
neuper@42070:   \parbox[t]{0.8\textwidth}{\nouppercase{\leftmark}}
neuper@42070: }
neuper@42070: 
neuper@42070: 
neuper@42070: % \usepackage{tabularx}                 % for better tables
neuper@42070: \usepackage{multirow}
neuper@42070: \usepackage{listings}                 % for listings of source code
neuper@42070: \usepackage{amsmath}
neuper@42070: 
neuper@42070: 
neuper@42070: \usepackage[austrian,english]{babel}  % load babel *before* natbib or jurabib
neuper@42070: 
neuper@42070: 
neuper@42070: \usepackage[square]{natbib}         % natbib but with my own knat.bst
neuper@42070:                                     % made with the custom-bib package
neuper@42070: 
neuper@42070: \usepackage{url}
neuper@42070: \def\UrlFont{\small\ttfamily}
neuper@42070: 
neuper@42070: \usepackage{latexsym}
neuper@42070: 
neuper@42070: \usepackage{color}
neuper@42070: \definecolor{lightgrey}{gray}{0.8}
neuper@42070: % \definecolor{darkgreen}{rgb}{0,0.2,0}
neuper@42070: % \definecolor{darkblue}{rgb}{0,0,0.2}
neuper@42070: % \definecolor{darkred}{rgb}{0.2,0,0}
neuper@42070: 
neuper@42070: 
neuper@42070: 
neuper@42070: \usepackage{ifpdf}
neuper@42070: 
neuper@42070: %begin{latexonly}
neuper@42070: \ifpdf
neuper@42070:   % pdflatex
neuper@42070:   \usepackage[pdftex]{graphicx}
neuper@42070:   \DeclareGraphicsExtensions{.pdf,.jpg,.png}
neuper@42070:   \pdfcompresslevel=9
neuper@42070:   \pdfpageheight=297mm
neuper@42070:   \pdfpagewidth=210mm
neuper@42070:   \usepackage{rotating}				% sidewaystable
neuper@42070:   \usepackage[         % hyperref should be last package loaded
neuper@42070:     pdftex,
neuper@42070:     pdftitle={Automating Test Case Generation from Transition Systems via Symbolic Execution and SAT Solving},
neuper@42070:     pdfsubject={Master's Thesis},
neuper@42070:     pdfauthor={Elisabeth Joebstl},
neuper@42070:     pdfkeywords={Model-Based Testing, Conformance Testing, Automated Test Case Generation, Input Output Symbolic Transition Systems, Symbolic Execution, SMT Solving},
neuper@42070:     bookmarks,
neuper@42070:     bookmarksnumbered,
neuper@42070:     linktocpage,
neuper@42070:     pagebackref,
neuper@42070:     colorlinks,
neuper@42070:     linkcolor=black,
neuper@42070:     anchorcolor=black,
neuper@42070:     citecolor=black,
neuper@42070:     urlcolor=black,
neuper@42070:     pdfview={FitH},
neuper@42070:     pdfstartview={Fit},
neuper@42070:     pdfpagemode=UseOutlines,       % open bookmarks in Acrobat
neuper@42070:     plainpages=false,              % avoids duplicate page number problem
neuper@42070:     pdfpagelabels,                 % avoids duplicate page number problem
neuper@42070:   ]{hyperref}
neuper@42070: 
neuper@42070:   \renewcommand*{\backref}[1]{}
neuper@42070:   \renewcommand*{\backrefalt}[4]{
neuper@42070:   \ifcase #1
neuper@42070:   (Not cited.)
neuper@42070:   \or
neuper@42070:   (Cited on page~#2.)
neuper@42070:   \else
neuper@42070:   (Cited on pages~#2.)
neuper@42070:   \fi
neuper@42070:   }
neuper@42070: 
neuper@42070:   \renewcommand*{\backrefsep}{, }
neuper@42070:   \renewcommand*{\backreftwosep}{ and~}
neuper@42070:   \renewcommand*{\backreflastsep}{ and~}
neuper@42070: 
neuper@42070: \else
neuper@42070:   % latex
neuper@42070:   \usepackage{rotating}				% sidewaystable
neuper@42070:   \usepackage{graphicx}
neuper@42070:   \DeclareGraphicsExtensions{.eps}
neuper@42070: \fi
neuper@42070: %end{latexonly}
neuper@42070: 
neuper@42070: 
neuper@42070: % \includeonly{intro,biblio}   % selective inclusion
neuper@42070: 
neuper@42070: 
neuper@42070: 
neuper@42070: \newcommand{\halfh}{9.5cm}        % height of figures for 2 per page
neuper@42070: \newcommand{\thirdh}{6cm}         % height of figures for 3 per page
neuper@42070: 
neuper@42070: 
neuper@42070: \setlength{\parskip}{3pt plus 1pt minus 0pt}  % vert. space before a paragraph
neuper@42070: 
neuper@42070: 
neuper@42070: \setcounter{tocdepth}{2}        % lowest section level entered in ToC % TODO FIXXME: wieder auf 1 zur�cksetzen?
neuper@42070: \setcounter{secnumdepth}{2}     % lowest section level still numbered
neuper@42070: 
neuper@42070: 
neuper@42070: \input{thesis-macros}
neuper@42070: 
neuper@42070: 
neuper@42070: % Reduce vertical distance between items
neuper@42070: % itemize
neuper@42070: \let\origitemize\itemize
neuper@42070: \def\itemize{\origitemize\itemsep0pt}
neuper@42070: %enumerate
neuper@42070: \let\origenumerate\enumerate
neuper@42070: \def\enumerate{\origenumerate\itemsep0pt}
neuper@42070: 
neuper@42070: 
neuper@42070: % FIXXME: bessere Positionierung der Graphiken
neuper@42070: %\setcounter{totalnumber}{8}
neuper@42070: %\setcounter{topnumber}{5}
neuper@42070: %\setcounter{bottomnumber}{5}
neuper@42070: 
neuper@42070: %\renewcommand{\topfraction}{0.999}
neuper@42070: %\renewcommand{\bottomfraction}{0.999}
neuper@42070: %\renewcommand{\textfraction}{0.0005}
neuper@42070: 




