\documentclass[a4paper]{book}
-\usepackage{geometry}
-\usepackage{rutitlepage/rutitlepage}
-\usepackage{hyperref}
+\usepackage[british]{babel}
-\hypersetup{
+\usepackage{geometry} % Papersize
+\usepackage[titletoc]{appendix} % Appendices
+\usepackage{rutitlepage/rutitlepage} % Titlepage
+\usepackage{hyperref} % Hyperlinks
+\usepackage{booktabs} % Better looking tables
+\usepackage{todonotes} % Todo's
+\usepackage{caption} % Captions
+\usepackage{subcaption} % Subcaptions
+\usepackage{lipsum} % dummy text
+\usepackage{listings} % source code
+\usepackage{float} % floating images
+\usepackage{lmodern} % Better teletype fonts
+\usepackage{textcomp} % Nice listings quotes
+
+\graphicspath{{img/}}
+
+\urlstyle{tt}
+\hypersetup{%
pdftitle={iTasks and the Internet of Things},
pdfauthor={Mart Lubbers},
pdfsubject={iTasks and the Internet of Things},
hidelinks=true
}
+\pdfstringdefDisableCommands{%
+ \def\acrlong#1{}%
+ \def\acrlongpl#1{}%
+ \def\acrshort#1{}%
+ \def\acrfull#1{}%
+ \def\gls#1{}%
+ \def\glspl#1{}%
+ \def\Gls#1{}%
+ \def\Glspl#1{}%
+}
+
+\lstdefinelanguage{Clean}{%
+ alsoletter={ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz_`1234567890},
+ alsoletter={~!@\#$\%^\&*-+=?<>:|\\.},
+ morekeywords={generic,implementation,definition,dynamic,module,import,from,where,in,of,case,let,infix,infixr,infixl,class,instance,with,if,derive,::},
+ sensitive=true,
+ morecomment=[l]{//},
+ morecomment=[n]{/*}{*/},
+ morestring=[b]",
+ morestring=[b]',
+ emptylines=1,
+ basewidth=0.45em,
+ columns=[c]fixed,
+ texcl=true,
+ upquote=true,
+ literate=%
+ % Basic Clean constructs
+ {\\}{{$\lambda\:$}}1
+ {A.}{{$\forall\;\,$}}1
+ {E.}{{$\exists\;\,$}}1
+% {>}{{$>$}}1
+% {<}{{$<$}}1
+% {<=}{{$\leq$}}1
+% {>=}{{$\geq$}}1
+% {<>}{{$\neq$}}1
+% {->}{{$\rightarrow$}}2
+% {<-}{{$\leftarrow$}}1
+% {=}{{$=$}}1
+% {~}{{$\sim$}}1
+% {\#}{{$\sharp$}}1
+% {\{|}{{$\{\!|\!$}}1
+% {|\}}{{$\!|\!\}$}}1
+% {:=}{{$:=$}}2
+% {==}{{$==$}}2
+% {++}{{$+\!\!+$}}2
+% {+++}{{$+\!\!\!\!+\!\!\!\!+$}}2
+% {:==}{{$:==$}}3
+% {\{|*|\}}{{$\{\!|\!\!\star\!\!|\!\}$}}3
+ %
+ % Basic iTask constructs
+% {>||>}{{$\triangleright\triangleright$}}2
+% {>>=}{{\texttt{>>=}}}3
+% {>>|}{{\texttt{>>|}}}3
+% {?>>}{{\texttt{?>>}}}3
+% {!>>}{{\texttt{!>>}}}3
+% {-||-}{{\texttt{-||-}}}4
+% {.||.}{{\texttt{.||.}}}4
+% {.&&.}{{\texttt{.\&\&.}}}4
+}
+
+\newcommand{\CI}[1]{\lstinline[language=Clean,basicstyle=\ttfamily\fontseries{l}\normalsize]|#1|}
+
+\lstset{%
+ breakatwhitespace=false, % sets if automatic breaks should only happen at whitespace
+ breaklines=true, % sets automatic line breaking
+ captionpos=b, % sets the caption-position to bottom
+ keepspaces=true, % keeps spaces in text, useful for keeping indentation of code (possibly needs columns=flexible)
+ basicstyle=\ttfamily\fontseries{l}\footnotesize,% the size of the fonts that are used for the code
+ commentstyle=\itshape\fontseries{m}, % comment style
+ keywordstyle=\bfseries\fontseries{b}, % keyword style
+ stringstyle=\ttfamily, % string literal style
+ showspaces=false, % show spaces everywhere adding particular underscores; it overrides 'showstringspaces'
+ showstringspaces=false, % underline spaces within strings only
+ showtabs=false, % show tabs within strings adding particular underscores
+ tabsize=4, % sets default tabsize to 2 spaces
+ frame=L
+}
+
\title{iTasks and the Internet of Things}
-\author{Mart Lubbers BSc.\\{\small\url{mart@martlubbers.net}}}
+\author{Mart Lubbers BSc.\\
+ {\small\href{mailto:mart@martlubbers.net}{mart@martlubbers.net}}}
\date{\today}