\usepackage[hidelinks]{hyperref}
\usepackage{tikz}
-\usetikzlibrary{trees}
-
\author{Mart Lubbers\and Caspar Safarlou}
\title{Knowledge Representation and Reasoning.\\Assignment 1}
\date{\today}
+\usetikzlibrary{trees}
+\tikzstyle{level 1}=[level distance=1cm, sibling distance=1cm]
+\tikzstyle{level 2}=[level distance=1cm, sibling distance=1cm]
+\tikzstyle{bag} = [text width=4em, text centered]
+\tikzstyle{end} = [minimum width=3pt, inner sep=0pt]
+
\everymath{\displaystyle}
\floatsetup[listing]{style=Plaintop}