diff --git a/pubs/static/external.css b/pubs/static/external.css index 60b4ba4..acd93b4 100644 --- a/pubs/static/external.css +++ b/pubs/static/external.css @@ -35,7 +35,12 @@ } .publication_filters div.search input { width: 100%; - max-width: 40rem; + max-width: 32rem; +} +.publication_filters div.search div.search_hint { + display: inline-block; + font-size: 90%; + font-style: italic; } article.publication { diff --git a/pubs/static/external.js b/pubs/static/external.js index c0fa728..78893c6 100644 --- a/pubs/static/external.js +++ b/pubs/static/external.js @@ -23,7 +23,13 @@ var loadDeps = async function(baseurl){ const pub_html = `