% vim: set spelllang=nl:
\documentclass[a4paper]{article}

\title{De semantiek van Smurf} %todo working title
\author{Ward Theunisse, Evi Sijben en Camil Staps}

% Standaard packages
\usepackage[hidelinks]{hyperref}
\usepackage[utf8]{inputenc}
\usepackage[dutch,shorthands=off]{babel}
\usepackage{geometry}

% Taakspecifieke packages
\usepackage{amsmath}
\usepackage{amsthm}
\usepackage{enumitem}
\usepackage{prooftree}
\usepackage{stackrel}
\usepackage{syntax}
\usepackage{thmtools}

% Eigen packages
\usepackage{smurf}

% Settings, fixes
\setlist{itemsep=0pt}
\addto\extrasdutch{%
	\renewcommand{\sectionautorefname}{Sectie}
	\renewcommand{\subsectionautorefname}{Paragraaf}
}

% Eigen commando's en environments, niet specifiek voor Smurf
\declaretheoremstyle[
	title=Voorbeeld,
	parent=section,
	spacebelow=1em,
	preheadhook=\nobreak\noindent\hrulefill,
	prefoothook=\vspace*{\dimexpr-\baselineskip+\topsep\relax}\endgraf\nobreak\noindent\hrulefill
]{lined}
\declaretheorem[style=lined]{exmp}