diff --git a/JetStream.css b/JetStream.css index 7bd22dd3..997077f5 100644 --- a/JetStream.css +++ b/JetStream.css @@ -371,6 +371,29 @@ a.button { color: var(--text-color-subtle); } +.benchmark a.info { + display: inline-block; + text-align: center; + vertical-align: middle; + font-style: italic; + font-weight: bold; + border-radius: 100%; + background-color: var(--benchmark-heading-color); + color: var(--text-color-inverse) !important; + width: 1em; + height: 1em; + user-select: none; + +} + +.benchmark-running a.info { + background-color: var(--color-primary); +} + +.benchmark-done a.info { + background-color: var(--text-color-subtle); +} + .benchmark h3 a, .benchmark h3 a:link, .benchmark h3 a:active, @@ -430,6 +453,13 @@ a.button { font-weight: 400; } +dt:target { + background-color: var(--color-secondary); + color: var(--text-color-inverse); + padding-left: 10px; + border-radius: 5px; +} + .plot svg circle { fill: var(--color-primary); opacity: 0.8; diff --git a/JetStreamDriver.js b/JetStreamDriver.js index 7bfa1e2a..ff15f1ba 100644 --- a/JetStreamDriver.js +++ b/JetStreamDriver.js @@ -352,7 +352,7 @@ class Driver { if (isInBrowser) { text += `
-

${benchmark.name}

+

${benchmark.name} i

 

 

`;