diff options
| author | Wojtek Kosior <koszko@koszko.org> | 2022-01-25 09:37:34 +0100 |
|---|---|---|
| committer | Wojtek Kosior <koszko@koszko.org> | 2022-01-25 09:37:34 +0100 |
| commit | b75a5717a084c9e5a727c2e960f2b910abcb5ace (patch) | |
| tree | a9dcd00c428aeba011e9a445b96aacad962a1f3d /html/settings.html | |
| parent | 7218849ae2f43aee6b3462a30e07caf5bac3d22b (diff) | |
| download | browser-extension-b75a5717a084c9e5a727c2e960f2b910abcb5ace.tar.gz browser-extension-b75a5717a084c9e5a727c2e960f2b910abcb5ace.zip | |
add a repo querying HTML interface
Diffstat (limited to 'html/settings.html')
| -rw-r--r-- | html/settings.html | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/html/settings.html b/html/settings.html index f318e2c..ce19e55 100644 --- a/html/settings.html +++ b/html/settings.html @@ -115,14 +115,14 @@ #INCLUDE html/item_preview.html #INCLUDE html/text_entry_list.html #INCLUDE html/payload_create.html - <ul id="tab_heads" class="has_bottom_line"> + <ul id="tab_heads"> <li id="blocking_head"> Blocking </li> <li id="mappings_head"> Mappings </li> <li id="resources_head"> Resources </li> <li id="new_payload_head" class="active_head"> New payload </li> <li id="repos_head"> Repositories </li> </ul> - <div id="top_menu_line" class="bottom_line"></div> + <div id="top_menu_line" class="top_line"></div> <div id="blocking_tab" class="tab"> <div id="blocking_editable_container" class="grid_2"> <div id="blocking_list_container"> |