11<!doctype html>
22< html >
33
4- < head >
4+ < head >
55 < meta charset ="UTF-8 ">
66 < meta name ="viewport " content ="width=device-width,initial-scale=1,minimum-scale=1,maximum-scale=1 ">
77 < title > Learn OCaml by OCamlPro - Editor</ title >
1313 < link rel ="stylesheet " href ="css/learnocaml_tryocaml.css ">
1414 < script src ="js/ace/ace.js " type ="text/javascript " charset ="utf-8 " defer > </ script >
1515 < script language ="JavaScript " src ="js/new_exercise.js " defer > </ script >
16- </ head >
16+ </ head >
1717
18- < body >
18+ < body >
1919 < style type ="text/css ">
20- a : link {
21- text-decoration : none;
22- }
23-
24- input : invalid {
25- box-shadow : 0 0 1px 1px red;
26- }
27-
28- .error {
29- color : darkred;
30- }
20+ a : link {
21+ text-decoration : none;
22+ }
23+
24+ input : invalid {
25+ box-shadow : 0 0 1px 1px red;
26+ }
27+
28+ .error {
29+ color : darkred;
30+ }
3131 </ style >
3232 < div style ="display:none ">
33- <!-- preload -->
34- < img src ="icons/tryocaml_loading_1.gif "> < img src ="icons/tryocaml_loading_2.gif ">
35- < img src ="icons/tryocaml_loading_3.gif "> < img src ="icons/tryocaml_loading_4.gif ">
36- < img src ="icons/tryocaml_loading_5.gif "> < img src ="icons/tryocaml_loading_6.gif ">
37- < img src ="icons/tryocaml_loading_7.gif "> < img src ="icons/tryocaml_loading_8.gif ">
33+ <!-- preload -->
34+ < img src ="icons/tryocaml_loading_1.gif "> < img src ="icons/tryocaml_loading_2.gif ">
35+ < img src ="icons/tryocaml_loading_3.gif "> < img src ="icons/tryocaml_loading_4.gif ">
36+ < img src ="icons/tryocaml_loading_5.gif "> < img src ="icons/tryocaml_loading_6.gif ">
37+ < img src ="icons/tryocaml_loading_7.gif "> < img src ="icons/tryocaml_loading_8.gif ">
3838 </ div >
3939 < div id ="learnocaml-main-toolbar ">
40- < div class ="logo ">
41- < img src ="icons/logo_ocaml.svg ">
42- < span > Learn OCaml</ span >
43- < img src ="icons/logo_ocp.svg ">
40+ < div class ="logo ">
41+ < img src ="icons/logo_ocaml.svg ">
42+ < span > Learn OCaml</ span >
43+ < img src ="icons/logo_ocp.svg ">
44+ </ div >
45+ < div >
46+ < a href ="index.html#activity=editor ">
47+ < button id ="cancel " type ="button " class ="button "> Cancel</ button >
48+ </ a >
49+ < button id ="save " type ="submit " class ="button "> Save</ button >
50+ </ div >
51+ </ div >
52+ < div style ="margin-top: 30px;height: 1px; "> </ div >
53+ < div id ="page_title ">
54+ < h1 id ="txt_new_exo "> New Exercise</ h1 >
55+ </ div >
56+ <!--form-->
57+ < div style ="margin: 0 5% ">
58+ < p >
59+ < label id ="txt_id " for ="identifier "> Unique identifier:< br > </ label >
60+ < input type ="text " id ="identifier " name ="identifier " value ="" maxlength ="250 " size ="40 " required pattern ="[a-z0-9_-]+ " autofocus />
61+ < span id ="id_error " class ="error " aria-live ="polite "> </ span >
62+ </ p >
63+ < p >
64+ < label id ="txt_title " for ="title "> Title (unique too):< br > </ label >
65+ < input type ="text " id ="title " name ="title " value ="" size ="40 " required pattern ="[^ \t]|([^ \t].*[^ \t]) " />
66+ < span id ="title_error " class ="error " aria-live ="polite "> </ span >
67+ </ p >
68+ < p >
69+ < label id ="txt_authors " for ="authors "> Authors : < br > </ label >
70+ < input type ="text " id ="authors " name ="title " placeholder ="Firstname Name, mail ; ... " size ="40 " />
71+ </ p >
72+ < div class ="splitted ">
73+ < div >
74+ < label id ="txt_requiered " for ="authors "> Required skills : < br > </ label >
75+ < input type ="text " id ="required " name ="title " placeholder ="Skill1 Skill2 ... " size ="40 " style ="display: inline " />
4476 </ div >
77+ < div style ="width: 20px "> </ div >
4578 < div >
46- < a href ="index.html#activity=editor ">
47- < button id ="cancel " type ="button " class ="button "> Cancel</ button >
48- </ a >
49- < button id ="save " type ="submit " class ="button "> Save</ button >
79+ < label id ="txt_focus " for ="focus "> Trained skills : </ label >
80+ < br >
81+ < input type ="text " id ="focus " name ="title " placeholder ="Skill1 Skill2 ... " size ="40 " style ="display: inline " />
5082 </ div >
51- </ div >
52- < div style ="margin: 0 5%; ">
53- < div id ="page_title ">
54- < h1 id ="txt_new_exo "> New Exercise</ h1 >
83+
84+ </ div >
85+ < p >
86+ < label id ="txt_descr " for ="description "> Description of the exercise:< br > </ label >
87+ < textarea id ="description " name ="description " cols ="80 " rows ="12 "> </ textarea >
88+ </ p >
89+ < p >
90+ < label id ="txt_diff " for ="difficulty "> Difficulty level:< br > </ label >
91+ < select name ="difficulty " id ="difficulty " size ="1 " required />
92+ < option value ="0. "> 0</ option >
93+ < option value ="0.5 "> 0.5</ option >
94+ < option value ="1. "> 1</ option >
95+ < option value ="1.5 "> 1.5</ option >
96+ < option value ="2. "> 2</ option >
97+ < option value ="2.5 "> 2.5</ option >
98+ < option value ="3. "> 3</ option >
99+ < option value ="3.5 "> 3.5</ option >
100+ < option value ="4. "> 4</ option >
101+ </ select >
102+ </ p >
103+ < div class ="splitted ">
104+ < div >
105+ < label id ="txt_backward " for ="backward "> Exercises to do before (Ids) : < br > </ label >
106+ < input type ="text " id ="backward " name ="title " placeholder ="id1 id2 ... " size ="40 " />
55107 </ div >
56- <!--form-- >
108+ < div style =" width: 20px " > </ div >
57109 < div >
58- < p >
59- < label id ="txt_id " for ="identifier "> Unique identifier:< br > </ label >
60- < input type ="text " id ="identifier " name ="identifier " value ="" maxlength ="250 " size ="40 " required pattern ="[a-z0-9_-]+ " autofocus />
61- < span id ="id_error " class ="error " aria-live ="polite "> </ span >
62- </ p >
63- < p >
64- < label id ="txt_title " for ="title "> Title (unique too):< br > </ label >
65- < input type ="text " id ="title " name ="title " value ="" size ="40 " required pattern ="[^ \t]|([^ \t].*[^ \t]) " />
66- < span id ="title_error " class ="error " aria-live ="polite "> </ span >
67- </ p >
68- < p >
69- < label id ="txt_authors " for ="authors "> Authors : < br > </ label >
70- < input type ="text " id ="authors " name ="title " placeholder ="Firstname Name, mail ; ... " size ="40 " />
71- </ p >
72- < div class =splitted >
73- < div >
74- < label id ="txt_requiered " for ="authors "> Required skills : < br > </ label >
75- < input type ="text " id ="required " name ="title " placeholder ="Skill1 Skill2 ... " size ="40 " style ="display: inline " />
76- </ div >
77- < div style ="width: 20px "> </ div >
78- < div >
79- < label id ="txt_requiered " for ="focus "> Trained skills : </ label >
80- < br >
81- < input type ="text " id ="focus " name ="title " placeholder ="Skill1 Skill2 ... " size ="40 " style ="display: inline " />
82- </ div >
83-
84- </ div >
85- < p >
86- < label id ="txt_descr " for ="description "> Description of the exercise:< br > </ label >
87- < textarea id ="description " name ="description " cols ="80 " rows ="12 "> </ textarea >
88- </ p >
89- < p >
90- < label id ="txt_diff " for ="difficulty "> Difficulty level:< br > </ label >
91- < select name ="difficulty " id ="difficulty " size ="1 " required />
92- < option value ="0. "> 0</ option >
93- < option value ="0.5 "> 0.5</ option >
94- < option value ="1. "> 1</ option >
95- < option value ="1.5 "> 1.5</ option >
96- < option value ="2. "> 2</ option >
97- < option value ="2.5 "> 2.5</ option >
98- < option value ="3. "> 3</ option >
99- < option value ="3.5 "> 3.5</ option >
100- < option value ="4. "> 4</ option >
101- </ select >
102- </ p >
103- < div class ="splitted ">
104- < div >
105- < label id ="txt_backward " for ="backward "> Exercises to do before (Ids) : < br > </ label >
106- < input type ="text " id ="backward " name ="title " placeholder ="id1 id2 ... " size ="40 " />
107- </ div >
108- < div style ="width: 20px "> </ div >
109- < div >
110- < label id ="txt_forward " for ="forkward "> Exercises to do after (Ids) : < br > </ label >
111- < input type ="text " id ="forward " name ="title " placeholder ="id1 id2 ... " size ="40 " />
112- </ div >
113- </ div >
114- <!--/form-->
110+ < label id ="txt_forward " for ="forkward "> Exercises to do after (Ids) : < br > </ label >
111+ < input type ="text " id ="forward " name ="title " placeholder ="id1 id2 ... " size ="40 " />
115112 </ div >
113+ </ div >
114+ <!--/form-->
115+ </ div >
116116
117117</ body >
118118
119- </ html >
119+ </ html >
0 commit comments