diff options
Diffstat (limited to 'yaegi-internals/index.html')
| -rw-r--r-- | yaegi-internals/index.html | 11 |
1 files changed, 3 insertions, 8 deletions
diff --git a/yaegi-internals/index.html b/yaegi-internals/index.html index 50fcca0..ef72bc0 100644 --- a/yaegi-internals/index.html +++ b/yaegi-internals/index.html @@ -1,6 +1,7 @@ <!DOCTYPE html> -<title>Yaegi Internals</title> <!-- generated by build.sh. DO NOT EDIT. --> +<html en="en"> +<title>Yaegi Internals</title> <meta charset="UTF-8"> <meta name="viewport" content="width=device-width, initial-scale=1"> <style> @@ -11,13 +12,7 @@ text-align: justify; } h1 { text-align: center } - pre { - border: 1px solid; - padding: 1ch; - border-radius: 5px; - overflow: auto; - background-color: #eee; - } + pre { padding: 1ch; background-color: #f5f5f5 } </style> <a href="..">Marc's Programming Notes</a><hr> |