diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/librustdoc/html/static/main.css | 15 | ||||
| -rw-r--r-- | src/librustdoc/html/static/playpen.js | 2 |
2 files changed, 10 insertions, 7 deletions
diff --git a/src/librustdoc/html/static/main.css b/src/librustdoc/html/static/main.css index 43e39573f7d..5e27eab8575 100644 --- a/src/librustdoc/html/static/main.css +++ b/src/librustdoc/html/static/main.css @@ -559,14 +559,17 @@ pre.rust .lifetime { color: #B76514; } .rusttest { display: none; } pre.rust { position: relative; } -.test-arrow { +a.test-arrow { display: inline-block; position: absolute; - top: 0; - right: 10px; - font-size: 150%; - -webkit-transform: scaleX(-1); - transform: scaleX(-1); + + background-color: #4e8bca; + color: #f5f5f5; + padding: 5px 10px 5px 10px; + border-radius: 5px; + font-size: 130%; + top: 5px; + right: 5px; } .methods .section-header { diff --git a/src/librustdoc/html/static/playpen.js b/src/librustdoc/html/static/playpen.js index 6b96a285992..8f8a753b06c 100644 --- a/src/librustdoc/html/static/playpen.js +++ b/src/librustdoc/html/static/playpen.js @@ -28,8 +28,8 @@ document.addEventListener('DOMContentLoaded', function() { } var a = document.createElement('a'); - a.textContent = '⇱'; a.setAttribute('class', 'test-arrow'); + a.textContent = 'Run'; var code = el.previousElementSibling.textContent; |
