[web-doc] master: Add styling, overflow for `<pre>` blocks (closes #46) (#61)

Author: Jim Winstead (jimwins) Committer: GitHub (web-flow) Pusher: jimwins Date: 2024-11-26T14:15:39-08:00 Commit: https://github.com/php/web-doc/commit/d2cbba473533ba9ed6929d8560f11d78b2ae09fd Raw diff: https://github.com/php/web-doc/commit/d2cbba473533ba9ed6929d8560f11d78b2ae09fd.diff Add styling, overflow for <pre> blocks (closes #46) (#61) Changed paths: M include/lib_general.inc.php M include/lib_revcheck.inc.php Diff: diff --git a/include/lib_general.inc.php b/include/lib_general.inc.php index 31fa8b5..1b7ced9 100644 --- a/include/lib_general.inc.php +++ b/include/lib_general.inc.php @@ -52,6 +52,13 @@ function site_header() .copy { margin:0; padding: 0; font-size:small; } .copy:hover { text-transform: uppercase; } .copy:active { background: aqua; font-weight: bold; } +pre { + background: white; + border: solid 1px rgb(214, 214, 214); + padding: 0.75rem; + overflow: auto; + font: normal 0.875rem/1.5rem "Source Code Pro", monospace; +} </style> END_OF_MULTILINE; echo '<section class="mainscreen">'; diff --git a/include/lib_revcheck.inc.php b/include/lib_revcheck.inc.php index 882452b..2bb5843 100644 --- a/include/lib_revcheck.inc.php +++ b/include/lib_revcheck.inc.php @@ -249,7 +249,8 @@ function showdiff () chdir( GIT_DIR . 'en' ); $arg_h = escapeshellarg($h); $arg_f = escapeshellarg($gitfile); - $file = git -c {$safedir} diff --ignore-space-at-eol {$arg_h} -- {$arg_f}; + echo "git -c {$safedir} diff -b --word-diff=porcelain {$arg_h} -- {$arg_f}"; + $file = git -c {$safedir} diff -b --word-diff=porcelain {$arg_h} -- {$arg_f}; if ($file == null) $file = git -c {$safedir} diff {$arg_h} -- {$arg_f}; $hash = git -c {$safedir} log -n 1 --pretty=format:%H -- {$arg_f};