diff --git a/docs/source/_static/default.css b/docs/source/_static/default.css index ea605da..f0baf4b 100644 --- a/docs/source/_static/default.css +++ b/docs/source/_static/default.css @@ -120,6 +120,11 @@ dd { color: #060; } +dt { + font-weight: bold; + padding-left: 0.5em; +} + dt:target, .highlight { background-color: #fbe54e;