docs-rst: fix verbatim font size on tables
authorMauro Carvalho Chehab <mchehab@s-opensource.com>
Sat, 26 Aug 2017 09:28:25 +0000 (06:28 -0300)
committerJonathan Corbet <corbet@lwn.net>
Sat, 26 Aug 2017 21:50:20 +0000 (15:50 -0600)
commit646056ec3b8e6f952190a7b92bd8076e1d8c60d4
treeceeb6c690de8fe40d473edfa44aa72d3f55a9945
parentc1aa3871fa0f676559f6d0cb6941e5f4ce7de306
docs-rst: fix verbatim font size on tables

On Sphinx 1.6, fancy boxes are used for verbatim. The sphinx.sty
sets verbatim font is always \small. That causes a problem
inside tables that use smaller fonts, as it can be too big for
the box.

Signed-off-by: Mauro Carvalho Chehab <mchehab@s-opensource.com>
Signed-off-by: Jonathan Corbet <corbet@lwn.net>
Documentation/conf.py