forallxdo-sol.tex

\documentclass[openany,oneside,10pt]{memoir}

\usepackage{forallxdo-style}
\usepackage{forallxdo}

\usepackage[german]{babel}

\usepackage[utf8]{inputenc}

%\IfFileExists{../forallxdo-local.sty}{\usepackage{../forallxdo-local}}{}

\hypersetup{pdfinfo={Title={forall x: Dortmund. Lösungen}, 
		Author={P.D. Magnus, Tim Button, J. Robert Loftis, Robert Trueman, Aaron Thomas-Bolduc, Richard Zach, Simon Wimmer}, Subject={}, Keywords={}
	}, 
	bookmarks={true}, 
	bookmarksopen = {true},
	colorlinks={true}, 
	allcolors={dkleadbeater},
	pdfdisplaydoctitle={true}}

\usepackage[absolute,overlay]{textpos}

% set stock & paper size with narrow margins

\setstocksize{8in}{5in}

\settrimmedsize{\stockheight}{\stockwidth}{*}
\settrims{0pt}{0pt}

% let's calculate the line length for 65 characters in \normalfont

\setlxvchars

% set the size of the type block to golden ratio calculated width

\settypeblocksize{*}{1.05\lxvchars}{1.62}

% set spine and and edge margin

\setlrmargins{*}{*}{1}
\setulmargins{.6in}{*}{*}
\setheaderspaces{*}{*}{1}

\checkandfixthelayout

\definecolor{lyallpink}{RGB}{99,154,0}
\colorlet{leadbeater}{lyallpink}
\colorlet{dkleadbeater}{lyallpink!80!black}
\colorlet{ltleadbeater}{lyallpink!50}
\colorlet{vltleadbeater}{lyallpink!3}

\begin{document}
\midsloppy

\pagestyle{leadbeater}

\frontmatter
\include{forallx-do-sol-frontmatter}

\currentpdfbookmark{Inhaltsverzeichnis}{name}
\tableofcontents*

\mainmatter
\include{forallx-do-sol-what}
\include{forallx-do-sol-tfl}
\include{forallx-do-sol-truthtables}
\include{forallx-do-sol-prooftfl}
\include{forallx-do-sol-fol}
\include{forallx-do-sol-interpretations}
\include{forallx-do-sol-prooffol}
\include{forallx-do-sol-ml}

\end{document}