Grazie mille, proprio quello che mi serviva. Ho raggruppato i due comandi, così:
`\newcommand{\sfondoOl}[1]{\colorbox[gray]{.8}{\kern-\fboxsep\Overline{#1}\kern-\fboxsep}}`
Adesso c’è un piccolo dettaglio. Con il comando settato così la sopralineatura taglia il colorbox sulla parte alta; per riprodurre esattamente la notazione di Devine la sopralineatura dovrebbe corrispondere con il bordo superiore del \colobox. Leggendo la documentazione di umoline ho visto che potrei cambiare \OverlineHeight, ma se possibile preferirei diminuire l’altezza del \colorbox, visto che l’altezza della sopralineatura è l’ideale.
Che parametro devo settare? Ho cercato con google, ma non ho trovato nulla.
Non puoi, in questo modo. Però puoi fare così:
`\definecolor{mygray}{gray}{.8}
\makeatletter
\def\FFcolorbox#1#{\color@FFbox{#1}}
\def\color@FFbox#1#2#3{%
\color@b@x{\fboxsep\z@\color#1{#2}\FFbox}{\color#1{#3}}}
\long\def\FFbox#1{%
\leavevmode
\setbox\@tempboxa\hbox{%
\color@begingroup
\kern\fboxsep{#1}\kern\fboxsep
\color@endgroup}%
\@FFrameb@x\relax}
\def\@FFrameb@x#1{%
\@tempdima\fboxsep
\advance\@tempdima\dp\@tempboxa
\hbox{%
\lower\@tempdima\hbox{%
\vbox{%
\hrule\@height\fboxrule
\hbox{%
#1%
\vbox{%
\vskip\fboxsep
\box\@tempboxa
\vskip\fboxsep}%
#1}}}}}
\makeatother
\newcommand{\sfondoOl}[1]{\FFcolorbox{black}{mygray}{\kern-\fboxsep#1\kern-\fboxsep}}`
Se la sopralineatura è troppo alta, puoi diminuire il parametro \fboxsep:
`\setlength{\fboxsep}{1.5pt}`
Puoi anche definire direttamente, senza umoline,
`\newcommand{\sfondo}[1]{\FFcolorbox{black}{white}{\kern-\fboxsep#1\kern-\fboxsep}}`
Ciao
Enrico