[web-doc] master: lower the diff font size a bit (14/16=0.875)
| From: | Nilgün Belma Bugüner | Date: | Wed, 29 Dec 2021 11:55:42 +0000 |
| Subject: | [web-doc] master: lower the diff font size a bit (14/16=0.875) | ||
| Groups: | php.doc.web | ||
| Request: | Send a blank email to doc-web+get-2496@lists.php.net to get a copy of this message | ||
Author: Nilgün Belma Bugüner (nilgun)
Date: 2021-12-29T14:56:04+03:00
Commit: https://github.com/php/web-doc/commit/52566d0bbd7a21329104abbe5d8b74a042a884c5
Raw diff: https://github.com/php/web-doc/commit/52566d0bbd7a21329104abbe5d8b74a042a884c5.diff
lower the diff font size a bit (14/16=0.875)
Changed paths:
M include/lib_revcheck.inc.php
Diff:
diff --git a/include/lib_revcheck.inc.php b/include/lib_revcheck.inc.php
index 08b6bd0..1e74a6f 100644
--- a/include/lib_revcheck.inc.php
+++ b/include/lib_revcheck.inc.php
@@ -255,26 +255,27 @@ function showdiff ()
$raw = htmlspecialchars( $file, ENT_XML1, 'UTF-8' );
$trans = [ " " => " " ];
$lines = explode ( "\n" , $raw );
+ echo "<div style='font:87% mono;overflow-wrap:break-word;'>";
foreach ( $lines as $line ) {
$inline = strtr( $line , $trans );
$fc = substr( $inline , 0 , 1 );
if ( $c == 'on' ) {
if ( $fc == "+" ) {
- echo "<div
style='color:darkgreen;background-color:#e6ffec;font-family:mono;overflow-wrap:break-word;'>";
+ echo "<div
style='color:darkgreen;background-color:#e6ffec;'>";
} elseif ( $fc == "-" ) {
- echo "<div
style='color:firebrick;background-color:#ffebe9;font-family:mono;overflow-wrap:break-word;'>";
+ echo "<div
style='color:firebrick;background-color:#ffebe9;'>";
} elseif ( $fc == "@" ) {
- echo "<div
style='color:darkblue;background-color:#ddf4ff;font-family:mono;overflow-wrap:break-word;'>";
+ echo "<div
style='color:darkblue;background-color:#ddf4ff;'>";
} else
- echo "<div
style='color:gray;line-height:1.2;font-family:mono;overflow-wrap:break-word;'>";
+ echo "<div style='color:gray;line-height:1.2;'>";
echo "$inline</div>\n";
} else
if ( ($fc == "+") || ($fc == "-") || ($fc == "@"))
- echo "<div
style='background-color:#f0f0f0;font-family:mono;overflow-wrap:break-word;'>$inline</div>\n";
+ echo "<div
style='background-color:#f0f0f0;'>$inline</div>\n";
else
- echo "<div
style='color:gray;font-family:mono;line-height:1.2;overflow-wrap:break-word;'>$inline</div>\n";
+ echo "<div
style='color:gray;line-height:1.2;'>$inline</div>\n";
}
- echo "<p></p>";
+ echo "</div><p></p>";
}
}