Template:Play/style.css

.playground-block { position: relative; }

.playground-run { margin: 0.5em; border-radius: 4px; /* from Rustdoc */ background-color: #4e8bca; font-size: 112%; position: absolute; top: 0; right: 0; }

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

.playground-run a { /* remove !important when MediaWiki:Vector.css is less bossy */ color: #fff !important; text-decoration: none; padding: 0.16em 0.6em !important; display: inline-block; }

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