diff options
| author | John J. Camilleri <john@johnjcamilleri.com> | 2018-11-28 21:51:16 +0100 |
|---|---|---|
| committer | John J. Camilleri <john@johnjcamilleri.com> | 2018-11-28 21:51:16 +0100 |
| commit | 6278deb7a206ed8b0e9660eac3633a6ae7572783 (patch) | |
| tree | b502489138244b2fcc9bc621bcfac2bac4db4dc9 /doc | |
| parent | 83abaa9b4491d078c4131f1eaee275cc4bfa6e35 (diff) | |
Page uses available width better, no jumping margins
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/gf-refman.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/gf-refman.html b/doc/gf-refman.html index 687e3e490..d052787f4 100644 --- a/doc/gf-refman.html +++ b/doc/gf-refman.html @@ -15,7 +15,7 @@ </style> </HEAD> <BODY> -<div class="container my-5"> +<div class="container-fluid my-5" style="max-width:1200px"> <P ALIGN="center"> <CENTER> |