First realistic draft

1 files changed, 10 insertions, 2 deletions

diff --git a/lsr_env.tex b/lsr_env.tex
index 8438c18..1c1f9bf 100644
--- a/lsr_env.tex
+++ b/lsr_env.tex
@@ -20,6 +20,8 @@
     click=yes,
     style=\rm,
 ]
+
+\usecolors[crayola]
 %\placebookmarks[chapter,section,subsection,subsubsection][chapter,section]
 %\setupinteractionscreen[option=bookmark]
 
@@ -339,7 +341,7 @@
 \definevimtyping [hlcoq] [syntax=coq]
 \definevimtyping [hlocaml] [syntax=ocaml]
 \definevimtyping [hlverilog] [syntax=verilog]
-\definevimtyping [hlC] [syntax=c]
+\definevimtyping [hlC] [syntax=c,escape=command]
 
 % ==========================================================================
 % Tikz
@@ -478,8 +480,14 @@
 % Macros
 % ==========================================================================
 
-\define\eqdef{{\strut\hbox to 0pt{\raisebox{0.5\baselineskip}\hbox{\rmx def}\hss}}=}
+\define\eqdef{{\strut\hbox to -2pt{\raisebox{0.4\baselineskip}\hbox{\rmxx def}\hss}}=}
 \define\blockbb{\mathcal{B}_{\rm b}}
 \define\parbb{\mathcal{B}_{\rm p}}
 
+\define\rtlblock{{\sc RtlBlock}}
+\define\rtlpar{{\sc RtlPar}}
+\define\rtl{{\sc Rtl}}
+\define\htl{{\sc Htl}}
+\define\abstr{{\sc Abstr}}
+
 \stopenvironment