DeCarabas/lrparsers
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

[dingus] Home tweaks

Browse source
This commit is contained in:
John Doty 2024-11-02 09:57:17 -07:00
parent 3d9c3b2c99
commit fb181667b5
2 changed files with 17 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

8
dingus/index.html
View file

@ -4,17 +4,19 @@
<title>Dingus</title> <title>Dingus</title>
<script src="https://cdn.jsdelivr.net/pyodide/v0.26.2/full/pyodide.js"></script> <script src="https://cdn.jsdelivr.net/pyodide/v0.26.2/full/pyodide.js"></script>
<!-- CodeMirror -->
<link rel="stylesheet" href="./codemirror/codemirror.css" /> <link rel="stylesheet" href="./codemirror/codemirror.css" />
<script src="./codemirror/codemirror.js"></script> <script src="./codemirror/codemirror.js"></script>
<script src="./codemirror/python.js"></script> <script src="./codemirror/python.js"></script>
<link rel="stylesheet" href="./style.css" /> <link rel="stylesheet" href="./style.css" />
<style>
</style>
</head> </head>
<body> <body>
<div class="page-container"> <div class="page-container">
<div class="page-title">
<h1>Grammar Dingus</h1>
<a href="about.html">What is this?</a>
</div>
<div class="panel-top grammar-title"> <div class="panel-top grammar-title">
Write Your Grammar Here Write Your Grammar Here
</div> </div>

14
dingus/style.css
View file

@ -1,14 +1,18 @@
/* set codemirror ide height to 100% of the textarea */
body { body {
height: 100vh; height: 100vh;
box-sizing: border-box; box-sizing: border-box;
margin: 0; margin: 0;
} }
h1 {
margin-top: 0;
margin-bottom: 0.25rem;
}
.page-container { .page-container {
display: grid; display: grid;
grid-template-columns: 1fr 1fr 1fr; grid-template-columns: 1fr 1fr 1fr;
grid-template-rows: 4rem 2rem 1fr 2rem; grid-template-rows: auto 2rem 1fr 2rem;
width: 100%; width: 100%;
height: 100%; height: 100%;
} }
@ -33,6 +37,12 @@ body {
border-top: 1px solid; border-top: 1px solid;
} }
.page-title {
grid-column: 1 / 4;
grid-row: 1;
padding: 0.5rem;
}
.grammar-title { .grammar-title {
grid-column: 1; grid-column: 1;
grid-row: 2; grid-row: 2;