Possibly an old CSS leftover.
@ -1323,10 +1323,6 @@ body.progress .ui.progress .bar {
width: auto;
margin: 0% 30px 0px;
}
#example
#example .right.attached.launch {
display: none;
@media only screen and (max-width : 780px) {
pre.console {
@ -1516,4 +1512,4 @@ body.progress .ui.progress .bar {
padding: 0% 23%;