Commit a83ec5b2 authored by Benoit Viguier's avatar Benoit Viguier
Browse files

play with spacing

parent b8792cdc
......@@ -220,7 +220,7 @@ is enough for our needs.
%
% Using this formalization, we prove that the 255 steps of the Montgomery ladder
% in C provide the same computations as in \coqe{RFC}.
%
% %
......
......@@ -363,6 +363,7 @@ literate=
%morecomment=[f][\textit]{---},
%morecomment=[f][\textit]{+++},
}
% \lstset{}
\lstset{%
lineskip=-0.1em,
......@@ -380,6 +381,8 @@ literate=
keywordstyle=[4]\color{doc@lstfunctions},
keywordstyle=[5]\color{doc@lstnumbers},
%
aboveskip=6pt,
belowskip=6pt,
extendedchars=true,
inputencoding=utf8,
upquote=true, %
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment