VladPolskiy/php-web-doc
1
0
Fork 0
mirror of https://github.com/php/web-doc.git synced 2025-07-25 17:01:40 +00:00
Code Issues Packages Projects Releases Wiki Activity

Add styling, overflow for <pre> blocks (closes #46) (#61)

Browse Source
This commit is contained in:
Jim Winstead
2024-11-26 14:15:39 -08:00
committed by GitHub
parent 4e57bbbc6e
commit d2cbba4735
2 changed files with 9 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

7
include/lib_general.inc.php
View File

@ -52,6 +52,13 @@ td { background-color: #dcdcdc; padding: 0.2em 0.3em; }
.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">';

3
include/lib_revcheck.inc.php
View File

@ -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}`;