diff options
Diffstat (limited to 'docs/assets/css/_src/docs.css')
| -rw-r--r-- | docs/assets/css/_src/docs.css | 43 |
1 files changed, 37 insertions, 6 deletions
diff --git a/docs/assets/css/_src/docs.css b/docs/assets/css/_src/docs.css index adade22ee..e13ca35b8 100644 --- a/docs/assets/css/_src/docs.css +++ b/docs/assets/css/_src/docs.css @@ -1133,13 +1133,9 @@ h1[id] { font-size: inherit; color: #333; /* Effectively the base text color */ } -.highlight pre .lineno { +.highlight pre code:first-child { display: inline-block; - width: 22px; - padding-right: 5px; - margin-right: 10px; - color: #bebec5; - text-align: right; + padding-right: 45px; } @@ -1466,3 +1462,38 @@ h1[id] { -webkit-box-shadow: 0 0 8px rgba(82,168,236,.6); box-shadow: 0 0 8px rgba(82,168,236,.6); } + + +/* + * ZeroClipboard styles + */ + +.zero-clipboard { + position: relative; + display: none; +} +.btn-clipboard { + position: absolute; + top: 0; + right: 0; + z-index: 10; + display: block; + padding: 5px 8px; + font-size: 12px; + color: #777; + cursor: pointer; + background-color: #fff; + border: 1px solid #e1e1e8; + border-radius: 0 4px 0 4px; +} +.btn-clipboard-hover { + color: #fff; + background-color: #563d7c; + border-color: #563d7c; +} + +@media (min-width: 768px) { + .zero-clipboard { + display: block; + } +} |
