Files
gride/client/index.css

62 lines
1020 B
CSS
Raw Permalink Normal View History

2025-09-27 15:09:26 +10:00
/* Remove the p styling since we're using div now */
div {
line-height: 1.2;
margin: 0;
padding: 0;
2025-09-25 09:07:44 +10:00
}
2025-09-27 15:09:26 +10:00
html,
body {
width: 100%;
height: 100%;
padding: 0;
margin: 0;
2025-09-25 09:07:44 +10:00
}
2025-09-27 15:09:26 +10:00
button, .button {
font-family: monospace;
background-color: #48156e;
color: #e6e8ff;
border: 0px;
border-radius: 2px;
padding: 8px 12px;
cursor: pointer;
}
button:hover, .button:hover {
background-color: #5a1a82;
2025-09-25 09:07:44 +10:00
}
.left {
2025-09-27 15:09:26 +10:00
height: 100%;
width: 70%;
padding: 10px;
background-color: #0d0a12;
color: #e6e8ff;
position: absolute;
overflow: scroll;
2025-09-25 09:07:44 +10:00
}
.right {
2025-09-27 15:09:26 +10:00
height: 100%;
width: 30%;
padding: 10px;
background-color: #191324;
color: #e6e8ff;
position: absolute;
right: 0;
2025-09-25 09:07:44 +10:00
}
2025-09-27 15:09:26 +10:00
/* Remove focus outline on the editor */
#editor {
outline: none;
font-family: monospace;
white-space: pre-wrap;
spellcheck: false; /* Disable spellcheck squiggly lines */
}
#console {
font-family: monospace;
white-space: pre-wrap;
}