Merge branch 'master' into tips-channel-20

This commit is contained in:
Ben Lipsey 2023-10-05 17:23:12 -07:00 committed by GitHub
commit ab66e34981
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 6 additions and 0 deletions

Binary file not shown.

Before

Width:  |  Height:  |  Size: 1.6 MiB

View file

@ -206,3 +206,9 @@ h5 {
h6 {
font-size: var(--ifm-h6-font-size);
}
th,
td {
padding-left: 10px !important;
padding-right: 10px !important;
}