diff options
Diffstat (limited to 'docs/_static/css/custom.css')
| -rw-r--r-- | docs/_static/css/custom.css | 18 |
1 files changed, 17 insertions, 1 deletions
diff --git a/docs/_static/css/custom.css b/docs/_static/css/custom.css index 52bdf6f9..a1e34259 100644 --- a/docs/_static/css/custom.css +++ b/docs/_static/css/custom.css @@ -12,7 +12,7 @@ span.cfgcmd { .opcmd-heading, .cfgcmd-heading { - display: block; + display: inline-block; margin: 6px 0; font-size: 90%; line-height: normal; @@ -32,8 +32,24 @@ span.cfgcmd { } + +.cfgcmd-heading .cmdlink:after, +.opcmd-heading .cmdlink:after { + content: ""; + font-family: FontAwesome +} + + +.cfgcmd-heading:not(:hover) .cmdlink, +.opcmd-heading:not(:hover) .cmdlink { + display: none; +} + + + a.cmdlink { font-size: 80%; + margin-left: 6px; } .wy-nav-content { |