diff options
Diffstat (limited to 'demos/TransQuiz/translation_quiz.html')
| -rw-r--r-- | demos/TransQuiz/translation_quiz.html | 33 |
1 files changed, 17 insertions, 16 deletions
diff --git a/demos/TransQuiz/translation_quiz.html b/demos/TransQuiz/translation_quiz.html index b544ee0d4..7c69f332a 100644 --- a/demos/TransQuiz/translation_quiz.html +++ b/demos/TransQuiz/translation_quiz.html @@ -18,11 +18,12 @@ </head>
+
<body onLoad="pre_start()">
<div id = "info" >
<a href="javascript:popUp('quiz_about.html', 'about')">About GF Translation Quiz</a>
-<h2 style=" padding-left: 35px;"><i> Welcome to <b>GF Translation Quiz </i></b></h2>
+<h2 style=" padding-left: 35px;"><i> Welcome to GF Translation Quiz </i></h2>
<p style="font-size:20px;">
To start the quiz choose a grammar, From and To languages
@@ -132,27 +133,27 @@ <script type="text/javascript">
-var online_options={
+ var online_options={
grammars_url: "http://www.grammaticalframework.org/grammars/"
-//grammars_url: "http://tournesol.cs.chalmers.se:41296/grammars",
-//grammars_url: "http://localhost:41296/grammars",
-//grammar_list: ["Foods.pgf"], // leave undefined to get list from server
-}
+ //grammars_url: "http://tournesol.cs.chalmers.se:41296/grammars",
+ //grammars_url: "http://localhost:41296/grammars",
+ //grammar_list: ["Foods.pgf"], // leave undefined to get list from server
+ }
-var server=pgf_online(online_options);
+ var server=pgf_online(online_options);
-var minibar_options= {
- show_abstract: false,
- show_trees: false,
- show_grouped_translations: false,
- default_source_language: "Eng",
- try_google: false
-}
+ var minibar_options= {
+ show_abstract: false,
+ show_trees: false,
+ show_grouped_translations: false,
+ default_source_language: "Eng",
+ try_google: false
+ }
-var minibar=new Minibar(server,minibar_options,"minibar1");
+ var minibar=new Minibar(server,minibar_options,"minibar1");
</script>
</body>
-</html>
\ No newline at end of file +</html>
|
