diff options
Diffstat (limited to 'docs/_static')
| -rw-r--r-- | docs/_static/css/custom.css | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/docs/_static/css/custom.css b/docs/_static/css/custom.css index 331a7720..da9af22f 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%; @@ -161,7 +167,7 @@ a.cmdlink span:hover{ } .wy-nav-top { - background-color : #ffffff !important; + background-color : #ffffff; } .wy-nav-top img { |