Add new files

1 files changed, 46 insertions, 13 deletions

diff --git a/lsr_env.tex b/lsr_env.tex
index 771af80..b383e49 100644
--- a/lsr_env.tex
+++ b/lsr_env.tex
@@ -1,8 +1,6 @@
 %% macros=mkvi
 \startenvironment lsr_env
 
-\setupcolors[state=start]
-
 % ==========================================================================
 % PDF
 % ==========================================================================
@@ -12,8 +10,8 @@
     state=start,
     title={Formal Verification of High-Level Synthesis},
     author={Yann Herklotz},
-    color=darkgreen,
-    contrastcolor=darkgreen,
+    color=darkcyan,
+    contrastcolor=darkcyan,
     openaction=ToggleViewer,
     focus=width,
     click=yes,
@@ -25,7 +23,7 @@
 % Layout
 % ==========================================================================
 \setuppapersize[A4][A4]
-\setupbodyfont[ebgaramondlato,11pt]
+\setupbodyfont[ebgaramondlato,12pt]
 %\setupalign[hz,hanging,nothyphenated]
 \setupalign[hz,hanging]
 \setuptolerance[stretch,tolerant]
@@ -55,18 +53,26 @@
   header=empty,
 ]
 
+\setuphead[section][style={\bfc}]
+\setuphead[subsection][style={\bfb}]
+\setuphead[subsubsection][style={\bfa},after={\blank[0.2cm]}]
+
 \startsectionblockenvironment [bodypart]
 \setuplabeltext[chapter=Chapter~]
 \setuphead[chapter][
   style={\bfd},
   header=empty,
   align=flushright,
-  commandbefore={\blank[-0.3cm]},
+  commandbefore={\hrule},
   after={\blank[4*line]},
   before={\blank[4*big,force]},
 ]
 \stopsectionblockenvironment
 
+\def\paragraph#1{%
+  \bold{#1}%
+}
+
 % @see http://wiki.contextgarden.net/Command/setupindenting
 % @see http://wiki.contextgarden.net/Indentation
 % Indent all paragraph after all section headers.
@@ -98,10 +104,7 @@
 %
 %\setupheadtext[content=Table of Contents]
 %\setuphead[title][incrementnumber=list]
-%\setupcombinedlist[content][
-%    list={headers,title,chapter,section,subsection, subsubsection},
-%    alternative=b,
-%]
+\setupcombinedlist[content][list={chapter,section,subsection}]
 %
 %\setuplist[headers][margin=0mm, style={\bf}, pagenumber=no, after={\blank[1*line]}]
 %\setuplist[title][margin=30mm, style={\bf}]
@@ -188,8 +191,38 @@
     }
 \stoptexdefinition
 
-\def\paragraph#1{%
-  \bold{#1}%
-}
+% ==========================================================================
+% Syntax Highlighting
+% ==========================================================================
+
+\usemodule[vim]
+\definevimtyping [hlcoq] [syntax=coq]
+\definevimtyping [hlocaml] [syntax=ocaml]
+\definevimtyping [hlverilog] [syntax=verilog]
+
+% ==========================================================================
+% Tikz
+% ==========================================================================
+
+\usemodule[tikz]
+\usetikzlibrary{shapes,calc,arrows.meta}
+
+\definecolor[compcert][x=BEBADA]
+\definecolor[formalhls][x=8DD3C7]
+\definecolor[keywordcolour][x=8F0075]
+\definecolor[functioncolour][x=721045]
+\definecolor[constantcolour][x=0000BB]
+
+\defineparagraphs
+  [DualFigure]
+  [n=3,distance=2em]
+
+\setupparagraphs
+  [DualFigure] [1]
+  [width=.4\textwidth]
+
+\setupparagraphs
+  [DualFigure] [2]
+  [width=.6\textwidth]
 
 \stopenvironment