diff options
| -rw-r--r-- | config/nimdoc.cfg | 10 | ||||
| -rw-r--r-- | doc/gc.txt | 8 |
2 files changed, 13 insertions, 5 deletions
diff --git a/config/nimdoc.cfg b/config/nimdoc.cfg index 464c506c4..1fa07509b 100644 --- a/config/nimdoc.cfg +++ b/config/nimdoc.cfg @@ -130,7 +130,7 @@ html { -ms-text-size-adjust: 100%; } /* Where we want fancier font if available */ -h1, h2, h3, h4, h5, h6, p.module-desc, blockquote p { +h1, h2, h3, h4, h5, h6, p.module-desc, table.docinfo + blockquote p, table.docinfo blockquote p, h1 + blockquote p { font-family: "Raleway", "Helvetica Neue", "HelveticaNeue", Helvetica, Arial, sans-serif !important; } h1.title { @@ -523,9 +523,13 @@ abbr.initialism { blockquote { padding: 0 0 0 15px; margin: 0 0 20px; - border-left: 5px solid #c9c9c9; } + border-left: 5px solid #EFEBE0; } -blockquote p { +table.docinfo + blockquote, table.docinfo blockquote, h1 + blockquote { + border-left: 5px solid #c9c9c9; +} + +table.docinfo + blockquote p, table.docinfo blockquote p, h1 + blockquote p { margin-bottom: 0; font-size: 15px; font-weight: 200; diff --git a/doc/gc.txt b/doc/gc.txt index d6e228558..29b078631 100644 --- a/doc/gc.txt +++ b/doc/gc.txt @@ -2,11 +2,15 @@ Nim's Garbage Collector ========================== -:Author: Andreas Rumpf -:Version: |nimversion| +:Author: Andreas Rumpf +:Version: |nimversion| + +.. contents:: + "The road to hell is paved with good intentions." + Introduction ============ |