diff options
Diffstat (limited to 'docs/_static/css')
| -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;  } | 
