mjo-listing.tex: put a \baseline skip above and below sage listings.

[mjotex.git] / mjo-listing.tex

diff --git a/mjo-listing.tex b/mjo-listing.tex
index f898aba13ea886be03258fea0bfc61dd1ee72dd9..bcfe25f4af5673bfbcd9bf6ab58094fae5343f6a 100644 (file)
--- a/mjo-listing.tex
+++ b/mjo-listing.tex
@@ -14,8 +14,13 @@
 \def\havemjolisting{1}
 
 
-\usepackage{listings}
-\usepackage{tcolorbox}
+\ifx\lstset\undefined
+  \usepackage{listings}
+\fi
+
+\ifx\tcbuselibrary\undefined
+  \usepackage{tcolorbox}
+\fi
 
 % Tell tcolorbox to use ``listings'' within the boxes.
 \tcbuselibrary{listings}
@@ -53,6 +58,8 @@
 \newcommand*{\sagelisting}[1]{\tcbinputlisting{listing only,%
                colback=codebg,%
                coltext=codefg,%
+               enlarge bottom finally by=\baselineskip,%
+               enlarge top initially by=\baselineskip,%
                left=2em,%
                listing options={language=sage,style=sage},%
                listing file=sage_listings/#1.listing}}