Auto merge of #85568 - GuillaumeGomez:search-result-extra-info, r=jsha

Search result extra info

The CSS rule was not updated when we updated the search result, this fixes it:

Before:
![Screenshot from 2021-05-21 22-56-17](https://user-images.githubusercontent.com/3050060/119197314-d31a4e80-ba87-11eb-863a-bc0b3de3bfb2.png)

After:
![Screenshot from 2021-05-21 22-54-53](https://user-images.githubusercontent.com/3050060/119197227-b54ce980-ba87-11eb-9f43-c10803ca1b90.png)

r? `@jsha`
This commit is contained in:
bors 2021-05-22 07:07:38 +00:00
commit 70cb58ce27
3 changed files with 17 additions and 2 deletions

View file

@ -780,12 +780,12 @@ a {
float: left;
}
tr.result span.primitive::after {
.result-name span.primitive::after {
content: ' (primitive type)';
font-style: italic;
}
tr.result span.keyword::after {
.result-name span.keyword::after {
content: ' (keyword)';
font-style: italic;
}