summary refs log tree commit diff stats
path: root/doc/nimdoc.css
diff options
context:
space:
mode:
authorAndrey Makarov <ph.makarov@gmail.com>2020-12-27 13:16:12 +0300
committerGitHub <noreply@github.com>2020-12-27 11:16:12 +0100
commit2bdc479622c465e570fdb87df112dd56ddc9030f (patch)
tree5b3f0abd04368714839bb4d77ff3a470361ff7e0 /doc/nimdoc.css
parent626c2bc6589101bd1b0231a2608e32b51f73abba (diff)
downloadNim-2bdc479622c465e570fdb87df112dd56ddc9030f.tar.gz
RST: implement admonitions (#16438)
Diffstat (limited to 'doc/nimdoc.css')
-rw-r--r--doc/nimdoc.css34
1 files changed, 34 insertions, 0 deletions
diff --git a/doc/nimdoc.css b/doc/nimdoc.css
index 2d9533ceb..7d4a399e1 100644
--- a/doc/nimdoc.css
+++ b/doc/nimdoc.css
@@ -14,6 +14,9 @@ Modified by Boyd Greenfield and narimiran
   --primary-background: #fff;

   --secondary-background: ghostwhite;

   --third-background: #e8e8e8;

+  --info-background: #50c050;

+  --warning-background: #c0a000;

+  --error-background: #e04040;

   --border: #dde;

   --text: #222;

   --anchor: #07b;

@@ -39,6 +42,9 @@ Modified by Boyd Greenfield and narimiran
   --primary-background: #171921;

   --secondary-background: #1e202a;

   --third-background: #2b2e3b;

+  --info-background: #008000;

+  --warning-background: #807000;

+  --error-background: #c03000;

   --border: #0e1014;

   --text: #fff;

   --anchor: #8be9fd;

@@ -609,6 +615,34 @@ table.borderless td, table.borderless th {
      The right padding separates the table cells. */

   padding: 0 0.5em 0 0 !important; }

 

+.admonition {

+    padding: 0.3em;

+    background-color: var(--secondary-background);

+    border-left: 0.4em solid #7f7f84;

+    margin-bottom: 0.5em;

+    -webkit-box-shadow: 0 5px 8px -6px rgba(0,0,0,.2);

+       -moz-box-shadow: 0 5px 8px -6px rgba(0,0,0,.2);

+            box-shadow: 0 5px 8px -6px rgba(0,0,0,.2);

+}

+.admonition-info {

+    border-color: var(--info-background);

+}

+.admonition-info-text {

+    color: var(--info-background);

+}

+.admonition-warning {

+    border-color: var(--warning-background);

+}

+.admonition-warning-text {

+    color: var(--warning-background);

+}

+.admonition-error {

+    border-color: var(--error-background);

+}

+.admonition-error-text {

+    color: var(--error-background);

+}

+

 .first {

   /* Override more specific margin styles with "! important". */

   margin-top: 0 !important; }