cpp-peglib/docs/style.css

102 lines
1.5 KiB
CSS
Raw Normal View History

2019-02-09 06:00:30 +00:00
* {
box-sizing: border-box;
margin: 0;
padding: 0;
text-decoration: none;
list-style: none;
}
body {
display: flex;
flex-direction: column;
height: 100vh;
}
#main {
flex: 1;
display: none;
2022-06-11 00:19:48 +00:00
z-index: 0;
2019-02-09 06:00:30 +00:00
}
.editor-container {
flex: 1;
width: 100%;
display: flex;
flex-direction: column;
2022-06-04 19:13:13 +00:00
margin: 6px;
2019-02-09 06:00:30 +00:00
}
.editor-container:first-child {
margin-right: 0;
}
.editor-header {
display: flex;
2022-06-04 19:13:13 +00:00
margin: 0 2px;
2019-02-09 06:00:30 +00:00
}
2022-06-04 19:13:13 +00:00
.editor-header > li {
height: 32px;
line-height: 24px;
2019-02-09 06:00:30 +00:00
}
2022-06-04 19:13:13 +00:00
.editor-header > li > span {
margin-right: 6px;
2019-02-09 06:00:30 +00:00
}
2022-06-04 19:13:13 +00:00
.editor-options {
2022-06-04 02:23:55 +00:00
margin-left: auto;
}
2022-06-04 19:13:13 +00:00
.editor-header-options {
display: flex;
2022-06-04 02:39:49 +00:00
}
2022-06-04 19:13:13 +00:00
.validation {
display: inline-block;
height: 20px;
width: 20px;
margin: 2px 0;
border-radius: 50%;
2019-02-09 06:00:30 +00:00
background-color: lightgreen;
}
2022-06-04 19:13:13 +00:00
.validation-invalid {
2019-02-09 06:00:30 +00:00
background-color: pink;
}
2022-06-04 19:13:13 +00:00
.option {
margin-right: 8px;
}
.option:last-child {
margin-right: 0;
}
.option input[type=checkbox] {
margin-right: 4px;
}
.option .parse {
padding-left: 8px;
padding-right: 8px;
height: 24px;
cursor: pointer;
}
2019-02-09 06:00:30 +00:00
.editor-area {
flex: 1;
border: 1px solid lightgray;
}
.editor-info {
margin-top: 6px;
height: 160px;
border: 1px solid lightgray;
padding: 8px;
2021-02-04 15:45:18 +00:00
overflow-y: auto;
2019-02-09 06:00:30 +00:00
}
.editor-info li {
cursor: pointer;
}
.editor-info li:hover{
background-color: lightyellow;
}
.editor-sub-header {
2022-06-04 19:13:13 +00:00
padding: 4px;
2022-06-04 02:23:55 +00:00
}
2022-06-04 19:13:13 +00:00
.show-toggle {
margin-right: 6px;
2022-06-04 02:23:55 +00:00
}
2022-06-11 00:19:48 +00:00
#overlay {
position: absolute;
width: 100vw;
height: 100vh;
cursor: wait;
display: none;
z-index: -1;
}