diff options
| author | Mauro Carvalho Chehab <mchehab@s-opensource.com> | 2016-08-16 13:25:40 -0300 |
|---|---|---|
| committer | Jonathan Corbet <corbet@lwn.net> | 2016-08-18 16:42:02 -0600 |
| commit | 85c21e5c3ee74fb75d690c57f7066bae7e2dca55 (patch) | |
| tree | 65766dc12b0df9cb8d4862e9478dd247fb85ab1f /lib/mpi/mpiutil.c | |
| parent | a682ec4ba10c88231cdbb8bb9823b2cc749d6364 (diff) | |
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 'lib/mpi/mpiutil.c')
0 files changed, 0 insertions, 0 deletions