diff options
Diffstat (limited to 'config/nimdoc.cfg')
-rw-r--r-- | config/nimdoc.cfg | 14 |
1 files changed, 11 insertions, 3 deletions
diff --git a/config/nimdoc.cfg b/config/nimdoc.cfg index 464c506c4..3abae7388 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; @@ -605,6 +609,10 @@ table { border-collapse: collapse; border-spacing: 0; } +table th, table td { + padding: 0px 8px 0px; +} + .table { width: 100%; margin-bottom: 20px; } |