diff options
Diffstat (limited to 'docs')
-rw-r--r-- | docs/_static/css/custom.css | 38 |
1 files changed, 38 insertions, 0 deletions
diff --git a/docs/_static/css/custom.css b/docs/_static/css/custom.css index a8b94c6e..52bdf6f9 100644 --- a/docs/_static/css/custom.css +++ b/docs/_static/css/custom.css @@ -1,3 +1,41 @@ +span.opcmd, +span.cfgcmd { + font-weight: bold; + background-color: transparent; + border: none; + padding: 0; + font-size: 100% !important; + max-width: 100%; + color: #000; + font-family: SFMono-Regular,Menlo,Monaco,Consolas,"Liberation Mono","Courier New",Courier,monospace; +} + +.opcmd-heading, +.cfgcmd-heading { + display: block; + margin: 6px 0; + font-size: 90%; + line-height: normal; + background: #e7f2fa; + color: #2980B9; + border-top: solid 3px #6ab0de; + border-top-width: 3px; + border-top-style: solid; + border-top-color: rgb(106, 176, 222); + padding: 6px; +} + +.opcmd-body, +.cfgcmd-body { + margin: 6px 0; + padding-left: 12px; +} + + +a.cmdlink { + font-size: 80%; +} + .wy-nav-content { max-width : none; } |