diff --git a/collects/scribble/scribble.css b/collects/scribble/scribble.css index 9e941fe4..843c4272 100644 --- a/collects/scribble/scribble.css +++ b/collects/scribble/scribble.css @@ -119,6 +119,7 @@ } .inherited { + width: 100%; margin-top: 1em; text-align: left; background-color: #ECF5F5;