Skip to content

Commit

Permalink
regen assets
Browse files Browse the repository at this point in the history
  • Loading branch information
mnot committed Dec 3, 2023
1 parent 1d72b40 commit dd58072
Show file tree
Hide file tree
Showing 2 changed files with 5 additions and 5 deletions.
8 changes: 4 additions & 4 deletions redbot/assets/red_style.css
Original file line number Diff line number Diff line change
Expand Up @@ -254,10 +254,9 @@ option[value="other..."] {

/* response body */
#body {
position: absolute;
right: 3em;
left: 3em; }
position: relative; }
#body .prettyprint {
position: absolute;
font: 0.80/1.00 Consolas, "Lucida Console", Monaco, monospace;
overflow-x: auto;
overflow-y: hidden;
Expand All @@ -267,7 +266,8 @@ option[value="other..."] {
-ms-border-radius: 1em;
border-radius: 1em;
border: 1px solid #ccc;
padding: 9px; }
padding: 9px;
width: 100%; }

/* summary table for multiple responses */
table#summary {
Expand Down
2 changes: 1 addition & 1 deletion redbot/assets/style.css

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

0 comments on commit dd58072

Please sign in to comment.