diff options
| author | Marshall Lochbaum <mwlochbaum@gmail.com> | 2022-01-20 08:24:35 -0500 |
|---|---|---|
| committer | Marshall Lochbaum <mwlochbaum@gmail.com> | 2022-01-20 08:24:35 -0500 |
| commit | a180b95f60314872e4498bfcf56fc8fb5c34b521 (patch) | |
| tree | 0b6b03687a2fb9e37f26275bba7b39d57bc1dfaa /docs/style.css | |
| parent | 2657f747a1cbc740b2432f6c60b19bc6c245f8cc (diff) | |
Make primitives in explain output clickable
Diffstat (limited to 'docs/style.css')
| -rw-r--r-- | docs/style.css | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/docs/style.css b/docs/style.css index 0aa2bc7a..78344eab 100644 --- a/docs/style.css +++ b/docs/style.css @@ -151,6 +151,7 @@ textarea { width: 100%; outline: none; resize: vertical; margin: 0; } fill: #272e30; cursor: pointer; } +.clickable { cursor: pointer; } .replLink { float: right; |