| 6dd74de | | | 1 | <html> |
| 6dd74de | | | 2 | <head> |
| 6dd74de | | | 3 | <meta charset="utf-8" /> |
| 6dd74de | | | 4 | <script type="module" src="./viewer.js"></script> |
| 6dd74de | | | 5 | <link |
| 6dd74de | | | 6 | href="https://fonts.googleapis.com/css?family=Noto+Sans+SC&display=swap" |
| 6dd74de | | | 7 | rel="stylesheet" |
| 6dd74de | | | 8 | /> |
| 6dd74de | | | 9 | <style> |
| 6dd74de | | | 10 | svg:not(svg svg) { |
| 6dd74de | | | 11 | border: 2px solid darkred; |
| 6dd74de | | | 12 | } |
| 6dd74de | | | 13 | .exClass2 > rect, |
| 6dd74de | | | 14 | .exClass { |
| 6dd74de | | | 15 | fill: greenyellow !important; |
| 6dd74de | | | 16 | } |
| 6dd74de | | | 17 | </style> |
| 6dd74de | | | 18 | </head> |
| 6dd74de | | | 19 | <body></body> |
| 6dd74de | | | 20 | </html> |