equal
deleted
inserted
replaced
|
1 <!DOCTYPE html> |
|
2 <html> |
|
3 <head> |
|
4 <meta charset="UTF-8"> |
|
5 <title>FA tags example</title> |
|
6 <link rel="stylesheet" href="https://cdnjs.cloudflare.com/ajax/libs/font-awesome/4.7.0/css/font-awesome.css"> |
|
7 <link rel="stylesheet" href="https://unpkg.com/purecss@1.0.0/build/pure-min.css" integrity="sha384-nn4HPE8lTHyVtfCBi5yW9d20FjT8BJwUXyWZT9InLYax14RDjBj46LmSztkmNP9w" crossorigin="anonymous"> |
|
8 <meta name="viewport" content="width=device-width, initial-scale=1"> |
|
9 </head> |
|
10 |
|
11 <body> |
|
12 <div id="main">Please run sbt fastOptJS to build the demo. Then reload this page.</div> |
|
13 <script type="text/javascript" src="example/target/scala-2.12/example-fastopt.js"></script> |
|
14 <script> |
|
15 Example.main(); |
|
16 </script> |
|
17 </body> |
|
18 |
|
19 </html> |