2023-07-07 01:43:49 +08:00
|
|
|
<!doctype html>
|
2023-06-27 15:09:50 +08:00
|
|
|
<!-- An entrypoint for the Wasm version development -->
|
2023-07-07 01:43:49 +08:00
|
|
|
<html style="margin: 0; padding: 0; height: 100%">
|
2023-06-27 15:09:50 +08:00
|
|
|
<head>
|
|
|
|
|
<meta charset="utf-8" />
|
|
|
|
|
<meta
|
|
|
|
|
name="viewport"
|
|
|
|
|
content="width=device-width, initial-scale=1, shrink-to-fit=no, maximum-scale=1"
|
|
|
|
|
/>
|
|
|
|
|
|
|
|
|
|
<link rel="preconnect" href="https://fonts.googleapis.com" />
|
|
|
|
|
<link
|
|
|
|
|
rel="preconnect"
|
|
|
|
|
href="https://fonts.gstatic.com"
|
|
|
|
|
crossorigin="anonymous"
|
|
|
|
|
/>
|
2023-06-30 17:07:28 +08:00
|
|
|
|
|
|
|
|
<script type="module" src="./src/lite/index.ts"></script>
|
2023-06-27 15:09:50 +08:00
|
|
|
</head>
|
|
|
|
|
|
2023-07-10 17:00:05 +08:00
|
|
|
<body
|
|
|
|
|
style="
|
|
|
|
|
margin: 0;
|
|
|
|
|
padding: 0;
|
|
|
|
|
height: 100%;
|
|
|
|
|
display: flex;
|
|
|
|
|
flex-direction: column;
|
|
|
|
|
"
|
|
|
|
|
>
|
|
|
|
|
<div style="flex-grow: 1; overflow: scroll; position: relative">
|
|
|
|
|
<div id="gradio-app" style="min-height: 100%"></div>
|
|
|
|
|
</div>
|
|
|
|
|
<div id="dev-app" style="height: 300px; position: relative"></div>
|
2023-06-27 15:09:50 +08:00
|
|
|
</body>
|
|
|
|
|
</html>
|
