From f25ebd6ccc679b147fad14b61b6bd09f90dfaaef Mon Sep 17 00:00:00 2001 From: Avery Pennarun Date: Thu, 29 Nov 2018 14:50:24 -0500 Subject: [PATCH] Docs: format inline blocks better. It seems like we're using these differently than most readthedocs.org users. Remove the borders and padding so they work better inline, and prevent confusing word wraps. --- Documentation/extra_style.css | 8 ++++++++ mkdocs.yml | 2 ++ 2 files changed, 10 insertions(+) create mode 100644 Documentation/extra_style.css diff --git a/Documentation/extra_style.css b/Documentation/extra_style.css new file mode 100644 index 0000000..6d814df --- /dev/null +++ b/Documentation/extra_style.css @@ -0,0 +1,8 @@ +p code { + border: 0; + padding: 0 2px 0 2px; + font-size: 100%; + white-space: nowrap; + color: #a04040; + letter-spacing: -1px; +} diff --git a/mkdocs.yml b/mkdocs.yml index c1c51cd..feeef51 100644 --- a/mkdocs.yml +++ b/mkdocs.yml @@ -7,6 +7,8 @@ repo_url: https://github.com/apenwarr/redo edit_uri: edit/master/Documentation extra_javascript: - fetchcode.js +extra_css: + - extra_style.css pages: - Introduction: index.md