-
Notifications
You must be signed in to change notification settings - Fork 0
/
index.html
120 lines (105 loc) · 3.03 KB
/
index.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
<!DOCTYPE html>
<html>
<head>
<meta http-equiv="content-type" content="text/html;charset=utf-8" />
<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/[email protected]/dist/css/uikit.min.css" />
<title>CoqBan</title>
<!-- Global site tag (gtag.js) - Google Analytics -->
<script async src="https://www.googletagmanager.com/gtag/js?id=G-P8JK802ZDY"></script>
<script>
window.dataLayer = window.dataLayer || [];
function gtag() { dataLayer.push(arguments); }
gtag('js', new Date());
gtag('config', 'G-P8JK802ZDY');
</script>
<style>
#forkongithub a {
background: #000;
color: #fff;
text-decoration: none;
font-family: arial, sans-serif;
text-align: center;
font-weight: bold;
padding: 5px 40px;
font-size: 1rem;
line-height: 2rem;
position: relative;
transition: 0.5s;
}
#forkongithub a:hover {
background: #c11;
color: #fff;
}
#forkongithub a::before,
#forkongithub a::after {
content: "";
width: 100%;
display: block;
position: absolute;
top: 1px;
left: 0;
height: 1px;
background: #fff;
}
#forkongithub a::after {
bottom: 1px;
top: auto;
}
@media screen and (min-width:2000px) {
#forkongithub {
position: absolute;
display: block;
top: 0;
left: 0;
width: 200px;
overflow: hidden;
height: 200px;
z-index: 9999;
}
#forkongithub a {
width: 200px;
position: absolute;
top: 60px;
left: -60px;
transform: rotate(-45deg);
-webkit-transform: rotate(-45deg);
-ms-transform: rotate(-45deg);
-moz-transform: rotate(-45deg);
-o-transform: rotate(-45deg);
box-shadow: 4px 4px 10px rgba(0, 0, 0, 0.8);
}
}
</style>
</head>
<body>
<div id="main">
<header class="uk-navbar-container">
<div class="uk-container">
<div class="uk-navbar-left">
<div class="uk-navbar-item uk-logo">CoqBan</div>
</div>
</div>
</header>
<div class="uk-container">
<span id="forkongithub"><a href="https://github.com/proof-ninja/coqban">Fork me on GitHub</a></span>
<form class="gits-form uk-form-horizontal uk-margin-large-top">
<div class="uk-margin">
<label class="uk-form-label" for="gist_url">Gist URL</label>
<div class="uk-form-controls">
<input class="uk-input uk-form-width-large gist-url" type="text" name="gist_url" />
</div>
</div>
<div class="uk-margin">
<input class="uk-button uk-button-primary gist-submit" type="submit" value="Load" />
</div>
</form>
<div class="uk-alert uk-alert-danger uk-hidden coqban-alert"></div>
<div class="coqban-codearea uk-hidden">
<code class="coq-code"></code>
</div>
</div>
</div>
<script src="node_modules/jscoq/ui-js/jscoq-loader.js"></script>
<script src="dist/index.js"></script>
</body>
</html>