mirror of
https://github.com/Ralim/IronOS.git
synced 2025-02-26 07:53:55 +00:00
Translation.cpp is now automatically regenerated when necessary. This frees the developer from having to remember to execute build.sh after the translations have changed. Translation.cpp has been moved from Core/Src/ to the new Core/Gen/ as otherwise it would end up twice in SOURCE, once through the source discovery and once through the explicit entry.
110 lines
1.2 KiB
CSS
110 lines
1.2 KiB
CSS
* {
|
|
font-family: sans-serif;
|
|
}
|
|
|
|
h1 {
|
|
color: #66A;
|
|
}
|
|
|
|
h1 span {
|
|
color: #000;
|
|
}
|
|
|
|
table.data, div.data {
|
|
border: 1px solid #888;
|
|
width: 100%;
|
|
}
|
|
|
|
div.value {
|
|
margin: 2px;
|
|
}
|
|
|
|
.header input {
|
|
width: 50% !important;
|
|
}
|
|
|
|
input.short {
|
|
width: 150px !important;
|
|
font-family: monospace;
|
|
}
|
|
|
|
.header .selected {
|
|
display: block;
|
|
font-family: monospace;
|
|
}
|
|
|
|
.stringId {
|
|
font-family: monospace;
|
|
font-weight: bold;
|
|
}
|
|
|
|
.label {
|
|
background-color: #ddf;
|
|
padding: 0.5em;
|
|
width: 20%;
|
|
color: #66A;
|
|
}
|
|
|
|
.value {
|
|
background-color: #eef;
|
|
}
|
|
|
|
.value .label {
|
|
width: 99%;
|
|
font-weight: bold;
|
|
}
|
|
|
|
td input {
|
|
width: 99%;
|
|
}
|
|
|
|
input.unchanged, input.empty, .unchanged input, .empty input {
|
|
background-color: #ffc;
|
|
}
|
|
|
|
input.invalid, .invalid input {
|
|
background-color: #f99;
|
|
}
|
|
|
|
.ref, .tran input {
|
|
font-family: monospace;
|
|
}
|
|
|
|
.ref::before, .ref::after {
|
|
color: #99F;
|
|
font-family: sans-serif;
|
|
content: "\"";
|
|
}
|
|
|
|
.note {
|
|
color : #66A;
|
|
font-style: italic;
|
|
}
|
|
|
|
div.constraint {
|
|
float: right;
|
|
display: inline-block;
|
|
font-family: monospace;
|
|
color: #66A;
|
|
}
|
|
|
|
.invalid .constraint {
|
|
color: #f00;
|
|
}
|
|
|
|
.value {
|
|
font-size: smaller;
|
|
}
|
|
|
|
.hidden {
|
|
display: none;
|
|
}
|
|
|
|
.footer {
|
|
margin-top: 0.5em;
|
|
margin-bottom: 0.5em;
|
|
}
|
|
|
|
.saved {
|
|
background-color: #ddd;
|
|
} |