update

[ker1415-1.git] / report / report.tex

diff --git a/report/report.tex b/report/report.tex
index 33d7304..6324f25 100644 (file)
--- a/report/report.tex
+++ b/report/report.tex
@@ -1,22 +1,40 @@
 \documentclass[titlepage,a4paper]{article}
 
 \usepackage{fullpage}
+\usepackage{floatrow}
 \usepackage{lipsum}
 \usepackage{enumerate}
 \usepackage{amsmath}
 \usepackage{amssymb}
-\usepackage{listings}
 \usepackage{minted}
 
 \author{ Caspar Safarlou\and Mart Lubbers }
 \title{Knowledge Representation and Reasoning.\\Assignment 1}
 \date{\today}
 
-\lstset{
-       basicstyle=\ttfamily\footnotesize,
-}
-
 \everymath{\displaystyle}
+\floatsetup[listing]{style=Plaintop}
+
+\definecolor{mintedbackground}{rgb}{0.95,0.95,0.95}
+\newmintedfile[prologcode]{prolog}{
+       bgcolor=mintedbackground,
+       fontfamily=tt,
+       linenos=true,
+       numberblanklines=true,
+       numbersep=10pt,
+       numbersep=5pt,
+       gobble=0,
+       frame=leftline,
+       framerule=0.4pt,
+       framesep=2mm,
+       funcnamehighlighting=true,
+       tabsize=4,
+       obeytabs=false,
+       mathescape=false
+       showspaces=false,
+       showtabs =false,
+       texcl=false,
+}
 
 \begin{document}
 \maketitle