diff options
| -rwxr-xr-x | docs/conf.py | 4 | ||||
| -rw-r--r-- | docs/static/customstyle.css | 10 | ||||
| -rw-r--r-- | docs/templates/layout.html | 2 |
3 files changed, 14 insertions, 2 deletions
diff --git a/docs/conf.py b/docs/conf.py index ba033484e0..5c05a95b98 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 0000000000..e91328b1e3 --- /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 0000000000..8a57bff276 --- /dev/null +++ b/docs/templates/layout.html @@ -0,0 +1,2 @@ +{% extends "!layout.html" %} +{% set css_files = css_files + ["_static/customstyle.css"] %} |