font size in docs

This commit is contained in:
Will McGugan 2020-06-28 17:57:27 +01:00
parent 93aa0a8e7c
commit 5cf16ae44e
1 changed files with 1 additions and 1 deletions

View File

@ -19,7 +19,7 @@ The following table is generated with this command::
.. raw:: html
<pre style="font-family:Menlo,'DejaVu Sans Mono',consolas,'Courier New',monospace"><span style="color: #008000">╭──────────────────────────────────────────────────────────────────────────────╮</span>
<pre style="font-size:90%;font-family:Menlo,'DejaVu Sans Mono',consolas,'Courier New',monospace"><span style="color: #008000">╭──────────────────────────────────────────────────────────────────────────────╮</span>
<span style="color: #008000">│</span> <span style="color: #008000; font-weight: bold">Box Constants</span> <span style="color: #008000">│
╰──────────────────────────────────────────────────────────────────────────────╯</span>