diff options
Diffstat (limited to 'docs/_static/css')
| -rw-r--r-- | docs/_static/css/custom.css | 6 | 
1 files changed, 6 insertions, 0 deletions
| diff --git a/docs/_static/css/custom.css b/docs/_static/css/custom.css index 5b673f18..e934fb54 100644 --- a/docs/_static/css/custom.css +++ b/docs/_static/css/custom.css @@ -87,6 +87,12 @@ span.opcmd:before {      display: none;  } +.defaultvalue{ +  font-size: 90%; +  color: gray; +  margin-bottom: 5px; + +}  a.cmdlink {      font-size: 80%; | 
