()
| 13 | } |
| 14 | |
| 15 | function appendVersionBanner() { |
| 16 | const html = ` |
| 17 | <style> |
| 18 | .banner { |
| 19 | margin: 0; |
| 20 | padding: 12px; |
| 21 | margin: 24px; |
| 22 | border-radius: 3px; |
| 23 | text-align: center; |
| 24 | background-color: #f8f9fa; |
| 25 | background-color: var(--theme-secondary-bg); |
| 26 | margin-right: 70px; |
| 27 | |
| 28 | @media (max-width: 640px) { |
| 29 | margin-top: 72px; |
| 30 | } |
| 31 | } |
| 32 | |
| 33 | .menu-button { |
| 34 | position: relative; |
| 35 | font-size: 14px; |
| 36 | padding: 3px 4px 4px 4px; |
| 37 | margin-left: 2px; |
| 38 | border-radius: 4px; |
| 39 | color: #6200ee; |
| 40 | transition: background-color 200ms; |
| 41 | border: 1px solid #6200ee; |
| 42 | display: inline-block; |
| 43 | cursor: default; |
| 44 | } |
| 45 | |
| 46 | .menu-button:hover { |
| 47 | background-color: #efefef; |
| 48 | } |
| 49 | |
| 50 | .menu-button:focus { |
| 51 | outline-offset: -3px; |
| 52 | } |
| 53 | |
| 54 | .menu-button:focus > ul { |
| 55 | opacity: 1; |
| 56 | pointer-events: auto; |
| 57 | } |
| 58 | |
| 59 | .menu-wrapper { |
| 60 | position: relative; |
| 61 | display: inline-block; |
| 62 | width: 0; |
| 63 | height: 0; |
| 64 | } |
| 65 | |
| 66 | .list { |
| 67 | min-width: 110px; |
| 68 | display: flex; |
| 69 | position: absolute; |
| 70 | z-index: 2; |
| 71 | margin: 0; |
| 72 | padding: 0; |
no test coverage detected
searching dependent graphs…