╭ index.html ───────────────────────────────────────────────────╮ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ ╰───────────────────────────────────────────────────────────────╯
╭────╮ ╭ clone ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ╮ │http│ ssh │ │ ╰────╯ ╰ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ╯
1 <!DOCTYPE html> 2 <html lang="en"> 3 <head> 4 <meta charset="utf-8"> 5 <title>HAXY</title> 6 <style> 7 html { 8 background-color: rgba(0, 50, 70, 1.0); 9 color: rgba(200, 200, 200, 1.0); 10 } 11 12 @font-face { 13 font-family: '3270'; 14 src: url('term.ttf') format('truetype'); 15 } 16 17 .page { 18 font-family: '3270', monospace; 19 font-size: 22px; 20 line-height: 22px; 21 position: relative; 22 } 23 24 #grid { 25 white-space: pre; 26 } 27 28 /* overlay elements share the grid's coordinate system since 29 their parent (.page) is the positioning ancestor and the 30 grid sits at its top-left. */ 31 .page input, 32 .page button { 33 position: absolute; 34 font: inherit; 35 padding: 0; 36 margin: 0; 37 outline: none; 38 box-sizing: border-box; 39 } 40 41 .page input { 42 color: inherit; 43 background: rgba(0, 50, 70, 1.0); 44 border: none; 45 } 46 47 /* the TUI cells under the button render the border + label; 48 the overlay button stays transparent so they show through 49 and just owns the click + form-submit behavior. */ 50 .page button { 51 background: transparent; 52 color: transparent; 53 border: none; 54 cursor: pointer; 55 } 56 57 #grid a { 58 color: inherit; 59 text-decoration: none; 60 } 61 62 #grid .clickable { 63 cursor: pointer; 64 } 65 </style> 66 </head> 67 <body> 68 <div class="page"> 69 <div id="grid">{{{ HAXY_HTML }}}</div> 70 <div id="overlay">{{{ HAXY_OVERLAY }}}</div> 71 </div> 72 <script id="page-data" type="text/plain">{{{ HAXY_JSON }}}</script> 73 <script src="script.js"></script> 74 </body> 75 </html> 76