diff options
| author | Wojtek Kosior <koszko@koszko.org> | 2022-02-16 00:55:04 +0100 |
|---|---|---|
| committer | Wojtek Kosior <koszko@koszko.org> | 2022-02-16 10:12:51 +0100 |
| commit | 72553a2d8b5fa094a5edd5e6ec15b5125a052016 (patch) | |
| tree | cfbca085fd54ce482561e65726f825c00b2ac795 /html/repo_query.html | |
| parent | b47de554fb01b478b09d9d65b5eac4b05fd903fc (diff) | |
| download | browser-extension-72553a2d8b5fa094a5edd5e6ec15b5125a052016.tar.gz browser-extension-72553a2d8b5fa094a5edd5e6ec15b5125a052016.zip | |
assume and use "$schema" properties in item definitions
Diffstat (limited to 'html/repo_query.html')
| -rw-r--r-- | html/repo_query.html | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/html/repo_query.html b/html/repo_query.html index b9c9269..67158cc 100644 --- a/html/repo_query.html +++ b/html/repo_query.html @@ -61,6 +61,10 @@ background-color: #f0f0f0; } + .repo_query_info_div { + margin: 0.5em; + } + .repo_query_result_li { margin: 0; padding: 0.2em; @@ -134,7 +138,9 @@ </span> </div> <div data-template="list_container" class="hide repo_query_results_list"> - <span data-template="info_span">Querying repository...</span> + <div data-template="info_div" class="repo_query_info_div"> + Querying repository... + </div> <ul data-template="results_list" class="hide"></ul> </div> </li> |