diff options
author | Aleš Smodiš <aless@guru.si> | 2015-09-24 09:53:22 +0200 |
---|---|---|
committer | Aleš Smodiš <aless@guru.si> | 2015-09-24 09:53:22 +0200 |
commit | 9f8373a5559da4d0368958f87f495e95d0099cb0 (patch) | |
tree | 0ce76cfb8101f5636fe775aeb031d58d4dbcd87f /index.html | |
parent | 70acf7c24f8578c177702d47f8c31b4618ad4173 (diff) |
Add a few comments to index.html, so it is straightforward what are various fragments for.
Diffstat (limited to 'index.html')
-rw-r--r-- | index.html | 10 |
1 files changed, 9 insertions, 1 deletions
@@ -19,6 +19,7 @@ <title>CodeQ</title> </head> <body> + <!-- the status bar at the top of each page --> <div class="navbar navbar-inverse navbar-fixed-top" id="topbar"> <div class="container-fluid"> <div class="navbar-header"> @@ -57,6 +58,7 @@ </div> </div> + <!-- login screen --> <div id="screen_login" style="text-align: center;"> <h1>CodeQ Login</h1> <hr> @@ -79,6 +81,7 @@ </table> </div> + <!-- main screen: programming language selection, settings, etc. --> <div id="screen_language" style="text-align: center; display: none;"> <h1>CodeQ Select Language</h1> <hr> @@ -102,6 +105,7 @@ </table> </div> + <!-- problem selection screen for a specific language: groups of problems, with descriptions --> <div id="screen_problem" style="text-align: center; display: none;"> <h1>CodeQ Select Problem</h1> <hr> @@ -125,6 +129,7 @@ </table> </div> + <!-- problem screen: prolog --> <div class="container-fluid quadrants block1" id="screen_prolog" style="display: none;"> <div class="row"> <div class="col-lg-3 col-md-6 col-sm-12 block block1"> @@ -153,6 +158,7 @@ </div><!--/row--> </div><!--container--> + <!-- problem screen: python --> <div class="container-fluid quadrants block1" id="screen_python" style="display: none;"> <div class="row"> <div class="col-lg-3 col-md-6 col-sm-12 block block1"> @@ -183,7 +189,9 @@ </div><!--/row--> </div><!--container--> - + <!-- Covers the whole screen with a semi-transparent block, so no input events can be triggered below. + Used as a wait screen; must be the last element in the DOM. + It is active after load, javascript turns it off after initialization. --> <div id="disabled" style="position: fixed; left: 0; right: 0; top: 0; bottom: 0; cursor: wait; background-color: rgba(0, 0, 0, 0.7);"></div> <!-- jQuery stuff --> |