Closed jteresco closed 5 years ago
@The-l3asics mentioned the possibility of CSS to improve these and the new 'title' tag info to show tied leaders in the AVCP entries in vertex extremes search.
The larger and more visible green boxes are now used for these. Closing.
The pseudocode execution counts are currently displayed as hover-over text as rendered by browsers according to the "title" attribute. It would be better to make something more prominent.