From 3e3620403a74f8e85d2af611fb16842d1225d438 Mon Sep 17 00:00:00 2001 From: Jason Park Date: Sun, 19 Jun 2016 22:30:07 +0900 Subject: [PATCH] fix run button --- css/stylesheet.css | 8 ++++++++ index.html | 2 +- js/dom/setup/setup_top_menu.js | 4 ---- 3 files changed, 9 insertions(+), 5 deletions(-) diff --git a/css/stylesheet.css b/css/stylesheet.css index 32b9d84..4991aee 100644 --- a/css/stylesheet.css +++ b/css/stylesheet.css @@ -591,6 +591,14 @@ input[type=number]::-webkit-outer-spin-button { color: #00e676; } +#btn_run > .btn-text:before { + content: 'Run' +} + +#btn_run.active > .btn-text:before { + content: 'Rerun' +} + #btn_pause > .btn-text:before { content: 'Pause' } diff --git a/index.html b/index.html index 932f4b1..2210482 100644 --- a/index.html +++ b/index.html @@ -37,7 +37,7 @@