diff options
Diffstat (limited to 'manual/presentation.tex')
| -rw-r--r-- | manual/presentation.tex | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/manual/presentation.tex b/manual/presentation.tex index aa26132de..35a409cbe 100644 --- a/manual/presentation.tex +++ b/manual/presentation.tex @@ -1,4 +1,5 @@ \documentclass{beamer} +\hypersetup{bookmarksdepth=5} \usepackage[T1]{fontenc} % required for luximono! \usepackage{lmodern} @@ -52,6 +53,14 @@ morestring=[b]", } +\lstdefinelanguage{ys}{ + morecomment=[l]{\#}, +} + +\lstset{ + commentstyle=\color{YosysGreen}, +} + \newenvironment{boxalertenv}{\begin{altenv}% {\usebeamertemplate{alerted text begin}\usebeamercolor[fg]{alerted text}\usebeamerfont{alerted text}\setlength{\fboxsep}{1pt}\colorbox{bg}} {\usebeamertemplate{alerted text end}}{\color{.}}{}}{\end{altenv}} |