diff options
Diffstat (limited to 'index.html')
| -rw-r--r-- | index.html | 8 |
1 files changed, 2 insertions, 6 deletions
@@ -101,12 +101,7 @@ </div> <!-- problem selection screen for a specific language: groups of problems, with descriptions --> - <div class="container" id="screen_problem" style="display: none;"> - <h1 class="language-title"></h1> - <hr> - <h3 class="language-description"></h3> - <ul class="language-problems"></ul> - </div> + <div class="container" id="screen_problem" style="display: none;"></div> <!-- problem screen: prolog --> <div class="container-fluid quadrants block1" id="screen_prolog" style="display: none;"> @@ -194,6 +189,7 @@ <script src="js/codemirror/show-hint.js"></script> <!-- codeq app --> <script src="js/codeq/core.js"></script> + <script src="js/codeq/translation.js"></script> <script src="js/codeq/statusbar.js"></script> <script src="js/codeq/navigation.js"></script> <script src="js/codeq/comms.js"></script> |