From 9b561a7c0dda4ed5d9584d5379c5c2aaab04f28c Mon Sep 17 00:00:00 2001
From: Damien George <damien.p.george@gmail.com>
Date: Sun, 21 Dec 2014 00:22:49 +0000
Subject: [PATCH] docs: Add custom CSS file, with code for admonition.
---
docs/conf.py | 4 ++--
docs/static/customstyle.css | 10 ++++++++++
docs/templates/layout.html | 2 ++
3 files changed, 14 insertions(+), 2 deletions(-)
create mode 100644 docs/static/customstyle.css
create mode 100644 docs/templates/layout.html
diff --git a/docs/conf.py b/docs/conf.py
index ba033484e..5c05a95b9 100755
--- a/docs/conf.py
+++ b/docs/conf.py
@@ -38,7 +38,7 @@ extensions = [
]
# Add any paths that contain templates here, relative to this directory.
-#templates_path = ['templates']
+templates_path = ['templates']
# The suffix of source filenames.
source_suffix = '.rst'
@@ -144,7 +144,7 @@ else:
# Add any paths that contain custom static files (such as style sheets) here,
# relative to this directory. They are copied after the builtin static files,
# so a file named "default.css" will overwrite the builtin "default.css".
-#html_static_path = ['static']
+html_static_path = ['static']
# Add any extra paths that contain custom files (such as robots.txt or
# .htaccess) here, relative to this directory. These files are copied
diff --git a/docs/static/customstyle.css b/docs/static/customstyle.css
new file mode 100644
index 000000000..e91328b1e
--- /dev/null
+++ b/docs/static/customstyle.css
@@ -0,0 +1,10 @@
+/* custom CSS for Micro Python docs
+ */
+
+.admonition-difference-to-cpython {
+ border: 1px solid black;
+}
+
+.admonition-difference-to-cpython .admonition-title {
+ margin: 4px;
+}
diff --git a/docs/templates/layout.html b/docs/templates/layout.html
new file mode 100644
index 000000000..8a57bff27
--- /dev/null
+++ b/docs/templates/layout.html
@@ -0,0 +1,2 @@
+{% extends "!layout.html" %}
+{% set css_files = css_files + ["_static/customstyle.css"] %}
--
GitLab