diff --git a/doc/html/boostbook.css b/doc/html/boostbook.css index 89a522d922..d84d538439 100644 --- a/doc/html/boostbook.css +++ b/doc/html/boostbook.css @@ -54,6 +54,14 @@ padding: 0.5pc 0.5pc 0.5pc 0.5pc; } + /* Program listings in tables don't get borders */ + td .programlisting, + td .screen + { + margin: 0pc 0pc 0pc 0pc; + padding: 0pc 0pc 0pc 0pc; + } + /*============================================================================= Headings =============================================================================*/ @@ -389,6 +397,12 @@ border: 1px solid #DCDCDC; } + td .programlisting, + td .screen + { + border: 0px solid #DCDCDC; + } + /* Blurbs */ div.note, div.tip, @@ -457,6 +471,12 @@ border: 1px solid gray; } + td .programlisting, + td .screen + { + border: 0px solid #DCDCDC; + } + /* Table of contents */ .toc {