Spaces:
Paused
Paused
Update app.py
Browse files
app.py
CHANGED
|
@@ -409,7 +409,8 @@ def mm(graph,zoom):
|
|
| 409 |
#wrap { width: 100%; height: 100%; padding: 0; overflow: auto; };
|
| 410 |
#frame { width: 100%; border: 1px solid black; };
|
| 411 |
#frame { zoom: $ZOOM; -moz-transform: scale($ZOOM); -moz-transform-origin: 0 0; };
|
| 412 |
-
"""
|
|
|
|
| 413 |
code_out=f"<style>{css}</style>"
|
| 414 |
for ea in graph.split("\n"):
|
| 415 |
code=ea.strip().strip("\n")
|
|
|
|
| 409 |
#wrap { width: 100%; height: 100%; padding: 0; overflow: auto; };
|
| 410 |
#frame { width: 100%; border: 1px solid black; };
|
| 411 |
#frame { zoom: $ZOOM; -moz-transform: scale($ZOOM); -moz-transform-origin: 0 0; };
|
| 412 |
+
"""
|
| 413 |
+
css=css.replace("$ZOOM",str(zoom))
|
| 414 |
code_out=f"<style>{css}</style>"
|
| 415 |
for ea in graph.split("\n"):
|
| 416 |
code=ea.strip().strip("\n")
|