diff options
author | Mauro Carvalho Chehab <mchehab@s-opensource.com> | 2016-08-16 19:25:40 +0300 |
---|---|---|
committer | Jonathan Corbet <corbet@lwn.net> | 2016-08-19 01:42:02 +0300 |
commit | 85c21e5c3ee74fb75d690c57f7066bae7e2dca55 (patch) | |
tree | 65766dc12b0df9cb8d4862e9478dd247fb85ab1f /Documentation/sphinx/parse-headers.pl | |
parent | a682ec4ba10c88231cdbb8bb9823b2cc749d6364 (diff) | |
download | linux-85c21e5c3ee74fb75d690c57f7066bae7e2dca55.tar.xz |
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>
Diffstat (limited to 'Documentation/sphinx/parse-headers.pl')
0 files changed, 0 insertions, 0 deletions