rust-search-extension/extension/popup.html

71 lines
2.1 KiB
HTML
Raw Normal View History

2018-11-24 00:58:44 +00:00
<!DOCTYPE html>
<html lang="en">
<head>
<meta charset="UTF-8">
2019-11-01 07:19:08 +00:00
<link href="https://fonts.googleapis.com/css?family=Alfa+Slab+One&display=swap" rel="stylesheet">
2018-11-24 00:58:44 +00:00
<style>
* {
box-sizing: border-box;
}
body {
scroll-behavior: smooth;
overflow-x: hidden;
width: 280px;
padding: 0;
margin: 0;
2018-11-24 00:58:44 +00:00
}
p {
margin: 0 auto;
}
2019-12-03 09:55:04 +00:00
a {
color: #787878;
padding: 0 5px;
}
2018-11-24 00:58:44 +00:00
</style>
2019-11-21 08:20:05 +00:00
<link rel="stylesheet" href="popup.css">
2018-11-24 00:58:44 +00:00
</head>
<body>
<div class="toast"></div>
<div class="main">
<div style="text-align: center;">
<img class="logo" src="icon.png" alt="rust-search-extension">
<h2 class="title">Rust Search Extension</h2>
<div>
2020-02-01 01:20:23 +00:00
<a href="https://doc.rust-lang.org/1.41.0/std/">
<img src="https://img.shields.io/badge/stable-1.41.0-yellow.svg" alt="stable-docs">
</a>
</div>
2019-01-31 13:52:24 +00:00
</div>
<div style="margin-top: 20px">
<label>
Open search result in
<select name="open-type">
<option value="current-tab">current tab</option>
<option value="new-tab">new tab</option>
</select>
2019-11-21 08:20:05 +00:00
</label>
</div>
<div style="margin-top: 10px" class="flex-vertical">
<div>
Enable offline mode
<label class="toggle">
<input type="checkbox" id="offline-mode">
<span class="slider"></span>
</label>
</div>
<input type="text" class="offline-doc-path" placeholder="Input the local doc path">
<small class="offline-doc-message"></small>
</div>
<div style="margin-top: 30px; font-size: 11px;text-align: center">
2020-01-13 13:31:02 +00:00
<a href="https://rust-search-extension.now.sh" target="_blank">Website</a>
<a href="https://github.com/folyd/rust-search-extension" target="_blank">Github</a>
</div>
2019-12-03 09:55:04 +00:00
</div>
2018-11-24 00:58:44 +00:00
</body>
2019-10-31 04:08:04 +00:00
<script src="settings.js"></script>
2019-10-30 13:24:34 +00:00
<script src="omnibox.js"></script>
2018-11-24 00:58:44 +00:00
<script src="popup.js"></script>
</html>