diff options
Diffstat (limited to 'docs/_static/css/custom.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 331a7720..7498b44d 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%; |