Org: Add optional name to info/etc. environments
This commit is contained in:
parent
5b6b72e3bf
commit
6d67918e1d
|
@ -7059,10 +7059,10 @@ Let's consider some other content we only want in certain situations.
|
|||
\\usepackage{pifont}
|
||||
\\newcommand{\\defsimplebox}[4]{%
|
||||
\\definecolor{#1}{HTML}{#2}
|
||||
\\newenvironment{#1}
|
||||
\\newenvironment{#1}[1][]
|
||||
{%
|
||||
\\par\\vspace{-0.7\\baselineskip}%
|
||||
\\textcolor{#1}{#3} \\textcolor{#1}{\\textbf{#4}}%
|
||||
\\textcolor{#1}{#3} \\textcolor{#1}{\\textbf{\\def\\temp{##1}\\ifx\\temp\\empty#4\\else##1\\fi}}%
|
||||
\\vspace{-0.8\\baselineskip}
|
||||
\\begin{addmargin}[1em]{1em}
|
||||
}{%
|
||||
|
|
Loading…
Reference in New Issue