docs-rst: better adjust margins and font size
authorMauro Carvalho Chehab <mchehab@s-opensource.com>
Tue, 16 Aug 2016 16:25:40 +0000 (13:25 -0300)
committerJonathan Corbet <corbet@lwn.net>
Thu, 18 Aug 2016 22:42:02 +0000 (16:42 -0600)
commit85c21e5c3ee74fb75d690c57f7066bae7e2dca55
tree65766dc12b0df9cb8d4862e9478dd247fb85ab1f
parenta682ec4ba10c88231cdbb8bb9823b2cc749d6364
docs-rst: better adjust margins and font size

As we have big tables, reduce the left/right margins and decrease
the point size to 8pt. Visually, it is still good enough, and
now less tables are too big to be displayed.

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