diff options
| author | mdinger <mdinger.bugzilla@gmail.com> | 2015-10-14 15:05:21 -0400 |
|---|---|---|
| committer | mdinger <mdinger.bugzilla@gmail.com> | 2015-10-14 15:05:21 -0400 |
| commit | dd342b05cb811b32472f51908e8598cbb5864917 (patch) | |
| tree | 6ba57494ae6f3733acc51b2b08deaa56538c71f1 | |
| parent | 13021876735b7a9ba6889dc7b40611b4618f4756 (diff) | |
| download | rust-dd342b05cb811b32472f51908e8598cbb5864917.tar.gz rust-dd342b05cb811b32472f51908e8598cbb5864917.zip | |
Make the rustdoc example links more noticable
| -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; |
