-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathheader.html
72 lines (61 loc) · 2.48 KB
/
header.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
<!DOCTYPE html>
<html lang="en">
<head>
<meta charset="utf-8">
<meta http-equiv="X-UA-Compatible" content="IE=edge">
<meta name="viewport" content="width=device-width, initial-scale=1">
<!-- The above 3 meta tags *must* come first in the head; any other head content must come *after* these tags -->
<meta name="description" content="">
<meta name="author" content="">
<link rel="icon" href="http://lst.science.ru.nl/discosumo/postselection/bootstrap-3.3.6/favicon.ico">
<title>Theme Template for Bootstrap</title>
<!-- Bootstrap core CSS -->
<link href="http://lst.science.ru.nl/discosumo/postselection/bootstrap-3.3.6/dist/css/bootstrap.min.css" rel="stylesheet">
<!-- Bootstrap theme -->
<link href="http://lst.science.ru.nl/discosumo/postselection/bootstrap-3.3.6/dist/css/bootstrap-theme.min.css" rel="stylesheet">
<!-- IE10 viewport hack for Surface/desktop Windows 8 bug -->
<link href="http://lst.science.ru.nl/discosumo/postselection/bootstrap-3.3.6/assets/css/ie10-viewport-bug-workaround.css" rel="stylesheet">
<!-- Custom styles for this template -->
<link href="http://lst.science.ru.nl/discosumo/postselection/bootstrap-3.3.6/docs/examples/theme/theme.css" rel="stylesheet">
<!-- Just for debugging purposes. Don't actually copy these 2 lines! -->
<!--[if lt IE 9]><script src="../../assets/js/ie8-responsive-file-warning.js"></script><![endif]-->
<script src="http://lst.science.ru.nl/discosumo/postselection/bootstrap-3.3.6/assets/js/ie-emulation-modes-warning.js"></script>
<!-- HTML5 shim and Respond.js for IE8 support of HTML5 elements and media queries -->
<!--[if lt IE 9]>
<script src="https://oss.maxcdn.com/html5shiv/3.7.2/html5shiv.min.js"></script>
<script src="https://oss.maxcdn.com/respond/1.4.2/respond.min.js"></script>
<![endif]-->
<style type="text/css">
a:hover {
background-color: rgb(153,204,255);
}
table {
width: 100%;
display:block;
overflow: visible;
}
thead {
display: inline-block;
width: 100%;
height: 150px;
}
tbody.container {
height: 600px;
display: inline-block;
width: 100%;
overflow: auto;
}
</style>
</head>
<body role="document">
<script>
function addTxt(add, field)
{
var txt=document.getElementById(field).value;
txt = txt + " " + add;
document.getElementById(field).value = txt;
}
function clearContents(element) {
element.value = '';
}
</script>