diff options
Diffstat (limited to 'docs/_static')
-rw-r--r-- | docs/_static/custom.css | 29 |
1 files changed, 29 insertions, 0 deletions
diff --git a/docs/_static/custom.css b/docs/_static/custom.css new file mode 100644 index 0000000..a3dd063 --- /dev/null +++ b/docs/_static/custom.css @@ -0,0 +1,29 @@ +/*** GENERAL ***/ + +/* Make inline code blocks nicer to look at */ +code.literal { + border-radius: 0.3em; + padding: 0em 0.3em; +} + +div.highlight pre { + border-radius: 0.2em; + padding: 0.75em; + margin: 0 -0.5em; +} + +/*** API REFERENCE ***/ + +/* Space things out properly */ +dl > dd:last-child { + margin-bottom: 10px; +} + +/* Add a tiny dash of color to names of things */ +dt > .property { + color: #a02000; +} +.sig-name, +.sig-prename { + color: #0066bb; +} |