diff options
Diffstat (limited to 'doc/_static')
| -rw-r--r-- | doc/_static/css/custom.css | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/doc/_static/css/custom.css b/doc/_static/css/custom.css index 7efe0e101..27add4426 100644 --- a/doc/_static/css/custom.css +++ b/doc/_static/css/custom.css @@ -12,6 +12,11 @@ vertical-align: middle; } +/* "View Page Source" link */ +.wy-breadcrumbs .wy-breadcrumbs-aside > a { + display: inline-block; + padding: 7px; +} /* links */ .wy-menu-vertical a:active { |