2017-03-01 20:49:46 -08:00
|
|
|
<!DOCTYPE html>
|
|
|
|
|
<html lang="en">
|
|
|
|
|
<head>
|
|
|
|
|
<meta charset="UTF-8">
|
2019-02-19 22:45:02 -05:00
|
|
|
<meta name="viewport" content="width=device-width,initial-scale=1" />
|
2017-03-25 22:39:40 -07:00
|
|
|
<link rel="stylesheet" type="text/css" href="/mixed/lib/bootstrap/css/bootstrap.min.css">
|
|
|
|
|
<link rel="stylesheet" type="text/css" href="/mixed/lib/bootstrap/css/bootstrap-theme.min.css">
|
2017-03-04 12:27:05 -08:00
|
|
|
<link rel="stylesheet" type="text/css" href="/mixed/lib/bootstrap-toggle/bootstrap-toggle.min.css">
|
2017-03-01 20:49:46 -08:00
|
|
|
<style type="text/css">
|
|
|
|
|
body {
|
|
|
|
|
padding: 10px;
|
|
|
|
|
text-align: center;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
.btn-group {
|
|
|
|
|
display: flex;
|
|
|
|
|
}
|
|
|
|
|
</style>
|
|
|
|
|
</head>
|
|
|
|
|
<body>
|
|
|
|
|
<p>
|
2017-03-25 20:10:58 -07:00
|
|
|
<input type="checkbox" id="enable-search">
|
2017-03-01 20:49:46 -08:00
|
|
|
</p>
|
|
|
|
|
<p>
|
|
|
|
|
<div class="btn-group" style="white-space: nowrap">
|
2017-03-25 18:18:31 -07:00
|
|
|
<button type="button" id="open-search" title="Search (Alt + Insert)" class="btn btn-default btn-xs glyphicon glyphicon-search"></button>
|
2017-03-25 20:10:58 -07:00
|
|
|
<button type="button" id="open-options" title="Options" class="btn btn-default btn-xs glyphicon glyphicon-wrench"></button>
|
2017-03-02 20:23:56 -08:00
|
|
|
<button type="button" id="open-help" title="Help" class="btn btn-default btn-xs glyphicon glyphicon-question-sign"></button>
|
2017-03-01 20:49:46 -08:00
|
|
|
</div>
|
|
|
|
|
</p>
|
2017-07-24 22:44:19 -07:00
|
|
|
|
2017-03-25 22:39:40 -07:00
|
|
|
<script src="/mixed/lib/jquery.min.js"></script>
|
2017-03-04 12:27:05 -08:00
|
|
|
<script src="/mixed/lib/bootstrap-toggle/bootstrap-toggle.min.js"></script>
|
2017-07-24 22:44:19 -07:00
|
|
|
|
2019-08-22 19:44:31 -04:00
|
|
|
<script src="/mixed/js/extension.js"></script>
|
|
|
|
|
|
2017-07-24 22:44:19 -07:00
|
|
|
<script src="/bg/js/api.js"></script>
|
2017-07-16 13:14:28 -07:00
|
|
|
<script src="/bg/js/options.js"></script>
|
2017-08-14 21:43:09 -07:00
|
|
|
<script src="/bg/js/util.js"></script>
|
2017-08-13 20:50:43 -07:00
|
|
|
|
2017-08-14 19:55:04 -07:00
|
|
|
<script src="/bg/js/context.js"></script>
|
2017-03-01 20:49:46 -08:00
|
|
|
</body>
|
|
|
|
|
</html>
|
