22 PUTS(
"body {background-color: #fff; color: #222; font-family: sans-serif;}\n");
23 PUTS(
"pre {margin: 0; font-family: monospace;}\n");
24 PUTS(
"a {color: inherit;}\n");
25 PUTS(
"a:hover {text-decoration: none;}\n");
26 PUTS(
"table {border-collapse: collapse; border: 0; width: 934px; box-shadow: 1px 2px 3px rgba(0, 0, 0, 0.2);}\n");
27 PUTS(
".center {text-align: center;}\n");
28 PUTS(
".center table {margin: 1em auto; text-align: left;}\n");
29 PUTS(
".center th {text-align: center !important;}\n");
30 PUTS(
"td, th {border: 1px solid #666; font-size: 75%; vertical-align: baseline; padding: 4px 5px;}\n");
31 PUTS(
"th {position: sticky; top: 0; background: inherit;}\n");
32 PUTS(
"h1 {font-size: 150%;}\n");
33 PUTS(
"h2 {font-size: 125%;}\n");
34 PUTS(
"h2 > a {text-decoration: none;}\n");
35 PUTS(
"h2 > a:hover {text-decoration: underline;}\n");
36 PUTS(
".p {text-align: left;}\n");
37 PUTS(
".e {background-color: #ccf; width: 300px; font-weight: bold;}\n");
38 PUTS(
".h {background-color: #99c; font-weight: bold;}\n");
39 PUTS(
".v {background-color: #ddd; max-width: 300px; overflow-x: auto; word-wrap: break-word;}\n");
40 PUTS(
".v i {color: #999;}\n");
41 PUTS(
"img {float: right; border: 0;}\n");
42 PUTS(
"hr {width: 934px; background-color: #ccc; border: 0; height: 1px;}\n");
43 PUTS(
":root {--php-dark-grey: #333; --php-dark-blue: #4F5B93; --php-medium-blue: #8892BF; --php-light-blue: #E2E4EF; --php-accent-purple: #793862}");
45 "@media (prefers-color-scheme: dark) {\n"
46 " body {background: var(--php-dark-grey); color: var(--php-light-blue)}\n"
47 " .h td, td.e, th {border-color: #606A90}\n"
48 " td {border-color: #505153}\n"
49 " .e {background-color: #404A77}\n"
50 " .h {background-color: var(--php-dark-blue)}\n"
51 " .v {background-color: var(--php-dark-grey)}\n"
52 " hr {background-color: #505153}\n"
PHPAPI ZEND_COLD void php_info_print_css(void)