Coverage Report

Created: 2025-06-13 06:43

/src/php-src/ext/standard/css.c
Line
Count
Source (jump to first uncovered line)
1
/*
2
   +----------------------------------------------------------------------+
3
   | Copyright (c) The PHP Group                                          |
4
   +----------------------------------------------------------------------+
5
   | This source file is subject to version 3.01 of the PHP license,      |
6
   | that is bundled with this package in the file LICENSE, and is        |
7
   | available through the world-wide-web at the following url:           |
8
   | https://www.php.net/license/3_01.txt                                 |
9
   | If you did not receive a copy of the PHP license and are unable to   |
10
   | obtain it through the world-wide-web, please send a note to          |
11
   | license@php.net so we can mail you a copy immediately.               |
12
   +----------------------------------------------------------------------+
13
   | Authors: Colin Viebrock <colin@viebrock.ca>                          |
14
   +----------------------------------------------------------------------+
15
*/
16
17
#include "php.h"
18
#include "info.h"
19
20
PHPAPI ZEND_COLD void php_info_print_css(void) /* {{{ */
21
0
{
22
0
  PUTS("body {background-color: #fff; color: #222; font-family: sans-serif;}\n");
23
0
  PUTS("pre {margin: 0; font-family: monospace;}\n");
24
0
  PUTS("a {color: inherit;}\n");
25
0
  PUTS("a:hover {text-decoration: none;}\n");
26
0
  PUTS("table {border-collapse: collapse; border: 0; width: 934px; box-shadow: 1px 2px 3px rgba(0, 0, 0, 0.2);}\n");
27
0
  PUTS(".center {text-align: center;}\n");
28
0
  PUTS(".center table {margin: 1em auto; text-align: left;}\n");
29
0
  PUTS(".center th {text-align: center !important;}\n");
30
0
  PUTS("td, th {border: 1px solid #666; font-size: 75%; vertical-align: baseline; padding: 4px 5px;}\n");
31
0
  PUTS("th {position: sticky; top: 0; background: inherit;}\n");
32
0
  PUTS("h1 {font-size: 150%;}\n");
33
0
  PUTS("h2 {font-size: 125%;}\n");
34
0
  PUTS("h2 > a {text-decoration: none;}\n");
35
0
  PUTS("h2 > a:hover {text-decoration: underline;}\n");
36
0
  PUTS(".p {text-align: left;}\n");
37
0
  PUTS(".e {background-color: #ccf; width: 300px; font-weight: bold;}\n");
38
0
  PUTS(".h {background-color: #99c; font-weight: bold;}\n");
39
0
  PUTS(".v {background-color: #ddd; max-width: 300px; overflow-x: auto; word-wrap: break-word;}\n");
40
0
  PUTS(".v i {color: #999;}\n");
41
0
  PUTS("img {float: right; border: 0;}\n");
42
0
  PUTS("hr {width: 934px; background-color: #ccc; border: 0; height: 1px;}\n");
43
0
  PUTS(":root {--php-dark-grey: #333; --php-dark-blue: #4F5B93; --php-medium-blue: #8892BF; --php-light-blue: #E2E4EF; --php-accent-purple: #793862}");
44
0
  PUTS(
45
0
    "@media (prefers-color-scheme: dark) {\n"
46
0
    "  body {background: var(--php-dark-grey); color: var(--php-light-blue)}\n"
47
0
    "  .h td, td.e, th {border-color: #606A90}\n"
48
0
    "  td {border-color: #505153}\n"
49
0
    "  .e {background-color: #404A77}\n"
50
0
    "  .h {background-color: var(--php-dark-blue)}\n"
51
0
    "  .v {background-color: var(--php-dark-grey)}\n"
52
0
    "  hr {background-color: #505153}\n"
53
0
    "}\n"
54
0
  );
55
0
}
56
/* }}} */