diff --git a/collects/scribble/scribble.css b/collects/scribble/scribble.css index 9e941fe4b8..843c427294 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;