7 files changed, 75 insertions, 0 deletions

diff --git a/doc/theme_html/static/admon_caution_48.png b/doc/theme_html/static/admon_caution_48.png
new file mode 100644
index 0000000..9016ec0
--- /dev/null
+++ b/doc/theme_html/static/admon_caution_48.png
diff --git a/doc/theme_html/static/admon_important_48.png b/doc/theme_html/static/admon_important_48.png
new file mode 100644
index 0000000..7021f4c
--- /dev/null
+++ b/doc/theme_html/static/admon_important_48.png
diff --git a/doc/theme_html/static/admon_note_48.png b/doc/theme_html/static/admon_note_48.png
new file mode 100644
index 0000000..e72e336
--- /dev/null
+++ b/doc/theme_html/static/admon_note_48.png
diff --git a/doc/theme_html/static/admon_tip_48.png b/doc/theme_html/static/admon_tip_48.png
new file mode 100644
index 0000000..f679193
--- /dev/null
+++ b/doc/theme_html/static/admon_tip_48.png
diff --git a/doc/theme_html/static/admon_warning_48.png b/doc/theme_html/static/admon_warning_48.png
new file mode 100644
index 0000000..2c338d5
--- /dev/null
+++ b/doc/theme_html/static/admon_warning_48.png
diff --git a/doc/theme_html/static/admons.css b/doc/theme_html/static/admons.css
new file mode 100644
index 0000000..d9f3406
--- /dev/null
+++ b/doc/theme_html/static/admons.css
@@ -0,0 +1,69 @@
+/* === Style for admonitions === */
+
+/* Settings from 'basic' theme (modified only) */
+
+div.admonition {
+   margin-top: 10px;
+   margin-bottom: 10px;
+   padding: 7px;
+   padding-left: 54px;/* based on icon size */
+   padding-right: 24px;/* based on icon size */
+}
+
+/* Settings from 'classic' theme (modified only) */
+
+div.admonition p {
+   display: block;
+}
+
+p.admonition-title {
+   padding-bottom: 11px;/* based on icon size */
+   padding-top: 11px;/* based on icon size */
+}
+
+p.admonition-title:after {
+   content: none; /* do not add colon */
+}
+
+/* Icon settings for all admonitions */
+div.admonition {
+   /* background-image: url('abstract_admon_48.png'); */
+   background-repeat: no-repeat;
+   background-position: 2px 2px;
+}
+
+/* Specific admonitions */
+div.admonition-todo {
+   background-color: #CAE2B6;
+   border: solid 1px #439427;
+}
+
+div.warning {
+   background-image: url('admon_warning_48.png');
+   background-color: #FFE4E4;
+   border: solid 3px #990D1C;
+}
+
+div.caution {
+   background-image: url('admon_caution_48.png');
+   background-color: #FFE4E4;
+   border: solid 1px #990D1C;
+}
+
+div.important {
+   background-image: url('admon_important_48.png');
+   background-color: #FBECC8;
+   border: solid 1px #D68612;
+}
+
+div.note {
+   background-image: url('admon_note_48.png');
+   background-color: white;
+   border: solid 1px #D1D3D4;
+}
+
+div.tip {
+   background-image: url('admon_tip_48.png');
+   background-color: #F2E4FD;
+   border: solid 1px #D1C2E6;
+}
diff --git a/doc/theme_html/static/main.css b/doc/theme_html/static/main.css
new file mode 100644
index 0000000..d7eb5d1
--- /dev/null
+++ b/doc/theme_html/static/main.css
@@ -0,0 +1,6 @@
+@import url("nature.css");
+
+/* Addendum for admonitions */
+@import url("admons.css");
+
+/* Other overrides here */