File tree Expand file tree Collapse file tree 1 file changed +33
-8
lines changed Expand file tree Collapse file tree 1 file changed +33
-8
lines changed Original file line number Diff line number Diff line change 1212 padding : 0 ;
1313 margin : 0 ;
1414 font-family : sans-serif;
15+ border-radius : 0 ;
1516 }
1617
1718 body {
18- padding-top : 2 em ;
19+ padding-top : 2 rem ;
1920
2021 display : flex;
2122 flex-direction : column;
3031 }
3132
3233 # input , # output {
33- margin-top : 1 em ;
34- padding : 0.5 em ;
35- width : 100 % ;
34+ margin-top : 1 rem ;
35+ padding : 0.5 rem ;
36+ width : min ( 80 vw , 35 rem ) ;
3637 font-family : monospace;
3738 font-size : 1rem ;
3839 border : 0 ;
3940 }
4041
4142 # input-process {
42- margin-top : 0.8333333333333333 em ;
43- padding : 0.4166666666666667 em ;
43+ margin-top : 1 rem ;
44+ padding : 0.5 rem ;
4445 font-family : sans-serif;
4546 font-size : 120% ;
47+ color : # 000 ;
48+ border-radius : 0 !important ;
4649 }
4750
4851 a {
5356 color : # d5c5ff ;
5457 }
5558
59+ @media (pointer : fine) {
60+
61+ h1 {
62+ font-size : 300% ;
63+ }
64+
65+ # input , # output {
66+ margin-top : 2rem ;
67+ width : max (95vw , 35rem );
68+ font-size : 200% ;
69+ padding : 2rem 1.5rem ;
70+ box-sizing : border-box;
71+ }
72+
73+ # input-process {
74+ font-size : 200% ;
75+ padding : 2rem !important ;
76+ margin : 3rem 0 1rem 0 ;
77+ }
78+
79+ }
80+
5681 </ style >
5782 </ head >
5883
5984 < body >
6085 < main >
61- < h1 class =" title " > Pointfree.wasm</ h1 >
86+ < h1 > Pointfree.wasm</ h1 >
6287 < input id ="input " type ="text " autofocus ="true " value ="\xs ys -> sum (zipWith (*) xs ys) " spellcheck ="false " />
6388 < br />
6489 < button id ="input-process " onclick ="process() ">
6590 Convert to pointfree
6691 </ button >
6792 < br />
68- < textarea id ="output " type ="text " readonly ="true " placeholder ="pointfree result " spellcheck ="false "> </ textarea >
93+ < textarea id ="output " type ="text " readonly ="true " placeholder ="pointfree result " spellcheck ="false " rows =" 1 " > </ textarea >
6994 < br />
7095 < br />
7196 < p >
You can’t perform that action at this time.
0 commit comments