--c-bg-dark: #3a4346;
--c-bg-light: #4c5456;
--c-light: #ecf7fa;
+ --c-off-white: #f9f9f9;
--c-hl-dark: #008499;
--c-hl-light: #3baec4;
--c-shadow: #dae5e2;
/* box colors */
--border-color: var(--c-dark);
--box-color: var(--c-bg-light);
- --box-hover-color: var(--c-dark);;
+ --box-hover-color: var(--c-dark);
--box-round: 10px;
/* other */
margin-top: 0;
}
+.main .page-variant-registration ~ pre, .main .page-variant-registration ~ * pre {
+ padding: .5em .75em;
+ border-radius: .25em;
+ background: var(--c-off-white);
+ color: var(--c-hl-dark);
+ box-shadow: 0 0 1px var(--c-bg-light);
+}
+
.toclink,
.toclink:hover {
color: var(--text-color);