site: show REPL input/output toggle on iOS without scrolling (#5175)

pull/4602/head
Wolfr 4 years ago committed by GitHub
parent e879cb5a4c
commit dccdb9f130
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

@ -5,8 +5,8 @@
<style> <style>
.input-output-toggle { .input-output-toggle {
display: grid; display: grid;
position: absolute;
user-select: none; user-select: none;
flex: 0;
grid-template-columns: 1fr 40px 1fr; grid-template-columns: 1fr 40px 1fr;
grid-gap: 0.5em; grid-gap: 0.5em;
align-items: center; align-items: center;

@ -89,6 +89,8 @@
left: 0; left: 0;
width: 100%; width: 100%;
height: 100%; height: 100%;
display: flex;
flex-direction: column;
background-color: var(--back); background-color: var(--back);
overflow: hidden; overflow: hidden;
box-sizing: border-box; box-sizing: border-box;
@ -98,6 +100,7 @@
.viewport { .viewport {
width: 100%; width: 100%;
height: 100%; height: 100%;
flex: 1;
} }
.mobile .viewport { .mobile .viewport {

@ -62,6 +62,7 @@
<style> <style>
main { main {
height: 100%;
position: relative; position: relative;
margin: 0 auto; margin: 0 auto;
/* padding: var(--nav-h) var(--side-nav) 0 var(--side-nav); */ /* padding: var(--nav-h) var(--side-nav) 0 var(--side-nav); */

@ -228,6 +228,7 @@ export default app;` });
background-color: var(--second); background-color: var(--second);
color: white; color: white;
white-space: nowrap; white-space: nowrap;
flex: 0;
} }
.icon { .icon {

@ -117,7 +117,7 @@
<style> <style>
.repl-outer { .repl-outer {
position: relative; position: relative;
height: calc(100vh - var(--nav-h)); height: 100%;
--app-controls-h: 5.6rem; --app-controls-h: 5.6rem;
--pane-controls-h: 4.2rem; --pane-controls-h: 4.2rem;
overflow: hidden; overflow: hidden;
@ -125,6 +125,8 @@
padding: var(--app-controls-h) 0 0 0; padding: var(--app-controls-h) 0 0 0;
/* margin: 0 calc(var(--side-nav) * -1); */ /* margin: 0 calc(var(--side-nav) * -1); */
box-sizing: border-box; box-sizing: border-box;
display: flex;
flex-direction: column;
} }
.viewport { .viewport {
@ -136,6 +138,7 @@
width: 200%; width: 200%;
height: calc(100% - 42px); height: calc(100% - 42px);
transition: transform 0.3s; transition: transform 0.3s;
flex: 1;
} }
.mobile .offset { .mobile .offset {

@ -27,6 +27,8 @@
overflow: hidden; overflow: hidden;
box-sizing: border-box; box-sizing: border-box;
--pane-controls-h: 4.2rem; --pane-controls-h: 4.2rem;
display: flex;
flex-direction: column;
} }
</style> </style>

Loading…
Cancel
Save