"padding: 10px;" "padding: 0px;" replace
"background-color: #f4efd9;" "background-color: white;" replace
"}" ?tail drop
- " border-bottom: 1px dashed #ccc; width: 100%; padding-top: 15px; padding-bottom: 10px; }"
+ " border-bottom: 1px dashed #d5d5d5 width: 100%; padding-top: 15px; padding-bottom: 10px; }"
append swap pick set-nth {
".a a { color: black; font-size: 24pt; line-height: 100%; }"
".a * a { color: #2a5db0; font-size: 12pt; }"
>string H{
{ "#000000;" "#bdc1c6;" }
{ "#2a5db0;" "#8ab4f8;" }
- { "#333333;" "#cccccc;" }
+ { "#333333;" "#d5d5d5;" }
{ "#373e48;" "#ffffff;" }
{ "#8b4500;" "orange;" }
{ "#e3e2db;" "#444444;" }
}
input {
- border: 1px solid #dbdbdb;
+ border: 1px solid #d5d5d5;
border-radius: 3px;
font-size: 1.0em;
}
}
nav {
- border-bottom: 1px solid #ccc;
+ border-bottom: 1px solid #d5d5d5;
background-color: #f5f5f5;
padding: 10px;
padding-left: calc(max(50% - 400px, 0px) + 15px);
footer {
margin-top: 15px;
- border-top: 1px dashed #ccc;
+ border-top: 1px dashed #d5d5d5;
color: #666;
font-size: 10pt;
}
input, textarea, select {
font-size: 12pt;
- border: 1px solid #dbdbdb;
+ border: 1px solid #d5d5d5;
border-radius: 5px;
padding: 5px;
}
}
table.comparison th, table.comparison td {
- border: 1px solid #ccc;
+ border: 1px solid #d5d5d5;
}
.insert {
}
table.revisions, table.revisions th, table.revisions td {
- border: 1px solid #ccc;
+ border: 1px solid #d5d5d5;
}
/* Dark mode */
}
.description pre {
- padding: 5px;
- border: 1px dashed #ccc;
+ padding: 0.5em;
background-color: #f5f5f5;
}
width: 200px;
z-index: 99;
border: none;
- border-left: 1px dashed #ccc;
+ border-left: 1px solid #d5d5d5;
}
#right {
width: calc(100vw - 200px);
max-width: 800px;
left: 0;
- border-top: 1px dashed #ccc;
- border-bottom: 1px dashed #ccc;
+ border-top: 1px solid #d5d5d5;
+ border-bottom: 1px solid #d5d5d5;
margin-top: 15px;
}
top: 0;
background: #f5f5f5;
border: none;
- border-right: 1px solid #ccc;
- border-bottom: 1px solid #ccc;
+ border-right: 1px solid #d5d5d5;
+ border-bottom: 1px solid #d5d5d5;
padding-top: 0px;
box-shadow: 5px 5px 10px #aaa;
}
#left {
border: none;
- border-left: 1px dashed #666;
+ border-left: 1px solid #666;
}
.description pre {
color: black;
+ background-color: white;
+ filter: invert(80%);
}
.page nav {
- border-top: 1px dashed #666;
- border-bottom: 1px dashed #666;
+ border-top: 1px solid #666;
+ border-bottom: 1px solid #666;
}
}