On Fri, Sep 11, 2020 at 04:40:08PM +0200, Michael Olbrich wrote: > On Fri, Sep 11, 2020 at 12:32:04PM +0200, Enrico Jorns wrote: > > This should ease distinguishing inline code snippets from default text > > and is also more similar to what the sphinx html outputs look like. > > I prefer this. Any other opinions?
Looks good to me. - Roland > > Signed-off-by: Enrico Jorns <[email protected]> > > --- > > > > Changes in v2: > > > > * use same background and border style as non-inline code boxes > > * reduce fbox inner separation for better inline experience > > > > doc/preamble.inc | 3 +++ > > 1 file changed, 3 insertions(+) > > > > diff --git a/doc/preamble.inc b/doc/preamble.inc > > index d9e528ef4..0e632c3d2 100644 > > --- a/doc/preamble.inc > > +++ b/doc/preamble.inc > > @@ -82,6 +82,9 @@ > > \definecolor{VerbatimColor}{gray}{0.95} > > \definecolor{VerbatimBorderColor}{gray}{0.75} > > > > +% override default sphinxcode to display gray-colored box > > +\protected\def\sphinxcode#1{\fboxsep0.5mm\fcolorbox{VerbatimBorderColor}{VerbatimColor}{\texttt{#1}}} > > + > > \makeatother > > > > % vim:syntax=tex > > -- > > 2.28.0 > > > > > > _______________________________________________ > > ptxdist mailing list > > [email protected] > > To unsubscribe, send a mail with subject "unsubscribe" to > > [email protected] > > > > -- > Pengutronix e.K. | | > Steuerwalder Str. 21 | http://www.pengutronix.de/ | > 31137 Hildesheim, Germany | Phone: +49-5121-206917-0 | > Amtsgericht Hildesheim, HRA 2686 | Fax: +49-5121-206917-5555 | > > _______________________________________________ > ptxdist mailing list > [email protected] > To unsubscribe, send a mail with subject "unsubscribe" to > [email protected] > -- Roland Hieber, Pengutronix e.K. | [email protected] | Steuerwalder Str. 21 | https://www.pengutronix.de/ | 31137 Hildesheim, Germany | Phone: +49-5121-206917-0 | Amtsgericht Hildesheim, HRA 2686 | Fax: +49-5121-206917-5555 | _______________________________________________ ptxdist mailing list [email protected] To unsubscribe, send a mail with subject "unsubscribe" to [email protected]
