docs: update rich-diff

This commit is contained in:
Daylin Morgan 2023-05-08 00:00:41 -05:00
parent 302f37bfaf
commit 30bfcf4c5e
Signed by: daylin
GPG key ID: C1E52E7DD81DF79F

View file

@ -3,52 +3,36 @@
## Versions ## Versions
- Rich: 12.4.4 - Rich: 13.3.5
- Yartsu: 22.6b5 - Yartsu: 23.5.1b1
## CONSOLE_SVG_FORMAT Diff ## CONSOLE_SVG_FORMAT Diff
```diff ```diff
--- ---
+++ +++
@@ -1,20 +1,17 @@ @@ -1,5 +1,5 @@
-<svg class="rich-terminal" viewBox="0 0 {width} {height}" xmlns="http://www.w3.org/2000/svg"> -<svg class="rich-terminal" viewBox="0 0 {width} {height}" xmlns="http://www.w3.org/2000/svg">
- <!-- Generated with Rich https://www.textualize.io -->
+<svg class="rich-terminal shadow" viewBox="0 0 {width} {height}" xmlns="http://www.w3.org/2000/svg"> +<svg class="rich-terminal shadow" viewBox="0 0 {width} {height}" xmlns="http://www.w3.org/2000/svg">
<!-- Generated with Rich https://www.textualize.io --> + <!-- Generated with Rich https://www.textualize.io & yartsu https://github.com/daylinmorgan/yartsu -->
<style> <style>
-
@font-face {{ @font-face {{
font-family: "Fira Code"; @@ -32,6 +32,10 @@
src: local("FiraCode-Regular"),
- url("https://cdnjs.cloudflare.com/ajax/libs/firacode/6.2.0/woff2/FiraCode-Regular.woff2") format("woff2"),
- url("https://cdnjs.cloudflare.com/ajax/libs/firacode/6.2.0/woff/FiraCode-Regular.woff") format("woff");
+ url("https://cdn.jsdelivr.net/gh/ryanoasis/nerd-fonts@2.1.0/patched-fonts/FiraCode/Regular/complete/Fira%20Code%20Regular%20Nerd%20Font%20Complete.ttf") format("truetype");
font-style: normal;
font-weight: 400;
}}
@font-face {{
font-family: "Fira Code";
src: local("FiraCode-Bold"),
- url("https://cdnjs.cloudflare.com/ajax/libs/firacode/6.2.0/woff2/FiraCode-Bold.woff2") format("woff2"),
- url("https://cdnjs.cloudflare.com/ajax/libs/firacode/6.2.0/woff/FiraCode-Bold.woff") format("woff");
+ url("https://cdn.jsdelivr.net/gh/ryanoasis/nerd-fonts@2.1.0/patched-fonts/FiraCode/Bold/complete/Fira%20Code%20Bold%20Nerd%20Font%20Complete.ttf") format("truetype");
font-style: bold;
font-weight: 700;
}}
@@ -32,6 +29,10 @@
font-family: arial; font-family: arial;
}} }}
+ .shadow {{ + .shadow {{
+ -webkit-filter: drop-shadow( 2px 5px 2px rgba(0, 0, 0, .7)); + -webkit-filter: drop-shadow( 2px 5px 2px rgba(0, 0, 0, .7));
+ filter: drop-shadow( 2px 5px 2px rgba(0, 0, 0, .7)); + filter: drop-shadow( 2px 5px 2px rgba(0, 0, 0, .7));
+ }} + }}
{styles} {styles}
</style> </style>
@@ -43,7 +44,7 @@ @@ -43,7 +47,7 @@
</defs> </defs>
{chrome} {chrome}
- <g transform="translate({terminal_x}, {terminal_y})" clip-path="url(#{unique_id}-clip-terminal)"> - <g transform="translate({terminal_x}, {terminal_y})" clip-path="url(#{unique_id}-clip-terminal)">
+ <g transform="translate({terminal_x}, {terminal_y}) scale(.95)" clip-path="url(#{unique_id}-clip-terminal)"> + <g transform="translate({terminal_x}, {terminal_y}) scale(.95)" clip-path="url(#{unique_id}-clip-terminal)">
@ -61,11 +45,11 @@
## Console.export_svg Diff ## Console.export_svg Diff
```diff ```diff
--- ---
+++ +++
@@ -64,9 +64,9 @@ @@ -70,9 +70,9 @@
line_height = char_height * 1.22 line_height = char_height * 1.22
margin_top = 1 margin_top = 1
- margin_right = 1 - margin_right = 1
- margin_bottom = 1 - margin_bottom = 1
@ -73,10 +57,10 @@
+ margin_right = char_width * 5 / 6 + margin_right = char_width * 5 / 6
+ margin_bottom = 20 * 5 / 3 + margin_bottom = 20 * 5 / 3
+ margin_left = char_width * 5 / 6 + margin_left = char_width * 5 / 6
padding_top = 40 padding_top = 40
padding_right = 8 padding_right = 8
@@ -214,8 +214,8 @@ @@ -222,8 +222,8 @@
x=terminal_width // 2, x=terminal_width // 2,
y=margin_top + char_height + 6, y=margin_top + char_height + 6,
) )