12 Ottobre 2011 alle 14:10
#64367
::
Che ne diresti di un nuovo ambiente fatto così?
`
% Definizione dell'ambiente “opzione” uguale a “description” ma con un label diverso
%
\newenvironment{opzione}
{\list{}{%
\labelwidth\z@ \itemindent-\leftmargin
\let\makelabel\optionlabel}}
{\endlist}
\newcommand\optionlabel[1]{\hspace\labelsep
\normalfont\fontfamily{lmtt}\selectfont #1}}
`
Così evidenzi il nome dell’opzione nell’etichetta della descrizione, ma non cambi nulla per il modo di scrivere l’opzione nel corso del testo.