diff options
author | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2016-03-02 17:16:11 +0100 |
---|---|---|
committer | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2016-03-02 17:16:11 +0100 |
commit | 9eb9da9a66c287f72b708cdc0700d28c6a14093f (patch) | |
tree | 55e51964a619a2a1e6b21d0ac6b058bafa46ae7d /index.html | |
parent | b2cf89bed3c975065b77be98fbf1125dbe8e69e7 (diff) |
More CSS cleanups
Diffstat (limited to 'index.html')
-rw-r--r-- | index.html | 30 |
1 files changed, 15 insertions, 15 deletions
@@ -374,16 +374,16 @@ <!-- end of experiment: Prolog hints --> </div> <div class="col-lg-8 col-md-8 col-sm-12 block block-right "> - <div class="col-lg-6 col-md-12 col-sm-12 block block2"> - <div class="block-toolbar"> + <div class="col-lg-6 col-md-12 col-sm-12 block block-editor"> + <div class="toolbar"> <button type="button" class="btn btn-default btn-plan" data-tkey="btn_plan">Plan</button> <button type="button" class="btn btn-default ladda-button btn-test" data-style="slide-up" data-spinner-color="blue"><span class="ladda-label" data-tkey="btn_test">Test</span></button> </div> - <div class="code_editor"></div> - <div class="block-statusbar"></div> + <div class="code-editor"></div> + <div class="statusbar"></div> <div class="block-label" data-tkey="code">Code</div> </div> - <div class="col-lg-6 col-md-12 col-sm-12 block block3"> + <div class="col-lg-6 col-md-12 col-sm-12 block block-console"> <div class="console"></div> <div class="block-label" data-tkey="console">Console</div> </div> @@ -402,18 +402,18 @@ <div class="hints"></div> </div> <div class="col-lg-8 col-md-8 col-sm-12 block block-right "> - <div class="col-lg-6 col-md-12 col-sm-12 block block2"> - <div class="block-toolbar"> + <div class="col-lg-6 col-md-12 col-sm-12 block block-editor"> + <div class="toolbar"> <button type="button" class="btn btn-default btn-plan" data-tkey="btn_plan">Plan</button> <button type="button" class="btn btn-default ladda-button btn-test" data-style="slide-up" data-spinner-color="blue"><span class="ladda-label" data-tkey="btn_test">Test</span></button> <button type="button" class="btn btn-default btn-run" data-tkey="btn_run">Run</button> <button type="button" class="btn btn-default btn-stop" data-tkey="btn_stop">Stop</button> </div> - <div class="code_editor"></div> - <div class="block-statusbar"></div> + <div class="code-editor"></div> + <div class="statusbar"></div> <div class="block-label" data-tkey="code">Code</div> </div> - <div class="col-lg-6 col-md-12 col-sm-12 block block3"> + <div class="col-lg-6 col-md-12 col-sm-12 block block-console"> <div class="console"></div> <div class="block-label" data-tkey="console">Console</div> </div> @@ -432,18 +432,18 @@ <div class="hints"></div> </div> <div class="col-lg-8 col-md-8 col-sm-12 block block-right "> - <div class="col-lg-6 col-md-12 col-sm-12 block block2"> - <div class="block-toolbar"> + <div class="col-lg-6 col-md-12 col-sm-12 block block-editor"> + <div class="toolbar"> <button type="button" class="btn btn-default btn-plan" data-tkey="btn_plan">Plan</button> <button type="button" class="btn btn-default ladda-button btn-hint" data-style="slide-up" data-spinner-color="blue"><span class="ladda-label" data-tkey="btn_hint">Hint</span></button> <button type="button" class="btn btn-default btn-run" data-tkey="btn_run">Run</button> <button type="button" class="btn btn-default btn-stop" data-tkey="btn_stop">Stop</button> </div> - <div class="code_editor"></div> - <div class="block-statusbar"></div> + <div class="code-editor"></div> + <div class="statusbar"></div> <div class="block-label" data-tkey="code">Code</div> </div> - <div class="col-lg-6 col-md-12 col-sm-12 block block3"> + <div class="col-lg-6 col-md-12 col-sm-12 block block-console"> <div class="console"></div> <div class="status"></div> <div class="block-label" data-tkey="console">Console</div> |