diff options
| author | Andrey Makarov <ph.makarov@gmail.com> | 2021-04-21 17:57:54 +0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-04-21 16:57:54 +0200 |
| commit | 8f79bc5f3dfdfd13ef6be1fbcb300872931801f8 (patch) | |
| tree | a977691f76636db8eadab8dc68289205a04944a9 /config | |
| parent | 80389b8053a3ddb2ef0f80b3129e91ce93bd0a51 (diff) | |
| download | Nim-8f79bc5f3dfdfd13ef6be1fbcb300872931801f8.tar.gz | |
add RST highlighting for command line / shells (also fixes #16858) (#17789)
Diffstat (limited to 'config')
| -rw-r--r-- | config/nimdoc.tex.cfg | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/config/nimdoc.tex.cfg b/config/nimdoc.tex.cfg index 69266f85d..471f20dc1 100644 --- a/config/nimdoc.tex.cfg +++ b/config/nimdoc.tex.cfg @@ -137,6 +137,8 @@ bottomline=false} \newcommand{\spanReference}[1]{#1} \newcommand{\spanOther}[1]{#1} \newcommand{\spantok}[1]{\frame{#1}} +\newcommand{\spanprogram}[1]{\textbf{\underline{#1}}} +\newcommand{\spanoption}[1]{\textbf{#1}} $content \end{document} |