-
Robert Knight authored* Make the corners of the top bar straight * Remove the unnecessary border at the top of the sidebar, since the sidebar is already bordered by the bottom of the browser's address bar T-90
c36103ac
| Name |
Last commit
|
Last update |
|---|---|---|
| .. | ||
| anchoring | ||
| plugin | ||
| test | ||
| guest.coffee | ||
| highlighter.coffee | ||
| host.coffee | ||
| main.js | ||
| pdf-sidebar.coffee | ||
| sidebar.coffee |