1 |
|
2 | <!DOCTYPE html>
|
3 |
|
4 |
|
5 |
|
6 |
|
7 | <html>
|
8 | <head>
|
9 |
|
10 | <title>Karma</title>
|
11 | <link href="favicon.ico" rel="icon" type="image/x-icon">
|
12 | <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
|
13 | <meta name="viewport" content="width=device-width, initial-scale=1, maximum-scale=1, user-scalable=no" />
|
14 | <style type="text/css">
|
15 | iframe {
|
16 | height: 100%;
|
17 | width: 100%;
|
18 | border: 0;
|
19 | }
|
20 |
|
21 | html, body {
|
22 | height: 100%;
|
23 | padding: 0;
|
24 | margin: 0;
|
25 |
|
26 | font-family: sans-serif;
|
27 | }
|
28 |
|
29 | .offline {
|
30 | background: #DDD;
|
31 | }
|
32 |
|
33 | .online {
|
34 | background: #6C4;
|
35 | }
|
36 |
|
37 | .idle {
|
38 | }
|
39 |
|
40 | .executing {
|
41 | background: #F99;
|
42 | }
|
43 |
|
44 | #banner {
|
45 | padding: 5px 10px;
|
46 | }
|
47 |
|
48 | h1 {
|
49 | font-size: 1.8em;
|
50 | margin: 0;
|
51 | padding: 0;
|
52 | }
|
53 |
|
54 | ul {
|
55 | margin: 0;
|
56 | padding: 0;
|
57 |
|
58 | list-style: none;
|
59 | }
|
60 |
|
61 | li {
|
62 | padding: 5px 12px;
|
63 | }
|
64 |
|
65 | .btn-debug {
|
66 | float: right;
|
67 | }
|
68 |
|
69 | .offline .btn-debug {
|
70 | display: none;
|
71 | }
|
72 |
|
73 | .btn-debug {
|
74 | -moz-box-shadow:inset 0px 1px 0px 0px #ffffff;
|
75 | -webkit-box-shadow:inset 0px 1px 0px 0px #ffffff;
|
76 | box-shadow:inset 0px 1px 0px 0px #ffffff;
|
77 | background:-webkit-gradient( linear, left top, left bottom, color-stop(0.05, #ffffff), color-stop(1, #f6f6f6) );
|
78 | background:-moz-linear-gradient( center top, #ffffff 5%, #f6f6f6 100% );
|
79 | filter:progid:DXImageTransform.Microsoft.gradient(startColorstr='#ffffff', endColorstr='#f6f6f6');
|
80 | background-color:#ffffff;
|
81 | -moz-border-radius:6px;
|
82 | -webkit-border-radius:6px;
|
83 | border-radius:6px;
|
84 | border:1px solid #dcdcdc;
|
85 | display:inline-block;
|
86 | color:#666666;
|
87 | font-family:arial;
|
88 | font-size:15px;
|
89 | font-weight:bold;
|
90 | padding:6px 24px;
|
91 | text-decoration:none;
|
92 | text-shadow:1px 1px 0px #ffffff;
|
93 | }
|
94 |
|
95 | .btn-debug:hover {
|
96 | background:-webkit-gradient( linear, left top, left bottom, color-stop(0.05, #f6f6f6), color-stop(1, #ffffff) );
|
97 | background:-moz-linear-gradient( center top, #f6f6f6 5%, #ffffff 100% );
|
98 | filter:progid:DXImageTransform.Microsoft.gradient(startColorstr='#f6f6f6', endColorstr='#ffffff');
|
99 | background-color:#f6f6f6;
|
100 | }
|
101 | </style>
|
102 | </head>
|
103 | <body>
|
104 | <div id="banner" class="offline">
|
105 | <h1 id="title">Karma - starting</h1>
|
106 | </div>
|
107 | <script src="socket.io/socket.io.js"></script>
|
108 | <script src="karma.js"></script>
|
109 | <script src="context.js"></script>
|
110 | |
111 |
|
112 |
|
113 |
|
114 | <script type="text/javascript">
|
115 |
|
116 | %CLIENT_CONFIG%
|
117 | window.__karma__.setupContext(window);
|
118 |
|
119 |
|
120 | %MAPPINGS%
|
121 | %SCRIPT_URL_ARRAY%
|
122 | </script>
|
123 |
|
124 | </body>
|
125 | </html>
|