Template:Play/style.css

.playground-run { float: right; margin: 0.5em; border-radius: 4px; padding: 0.4em 0.2em; /* from Rustdoc */ background-color: #4e8bca; font-size: larger; }

.playground-run:hover { /* approximately from Rustdoc (but that uses rgba which CodeEditor complains about */	background-color: #b8d1ea; }

.playground-run a { /* remove !important when MediaWiki:Vector.css is less bossy */ color: #fff !important; text-decoration: none; }

.playground-run a::before { content: ""; display: inline-block; width: 5px; height: 0; border-left: 10px solid white; border-top: 6px solid transparent; border-bottom: 6px solid transparent; }