TABLE { border : 1pt none }

DIV.variablelist {  background : rgb(190,220,190) }
DIV.variablelist TD { background : rgb(226,182,56) ; padding : 0.2em 1em }
DIV.variablelist TABLE { width : 100%  }
PRE.synopsis { background : rgb(190,220,190)  ; font-size : large ; margin-bottom : 0 }
PRE.programlisting { background : rgb(210,210,200) ; margin : 0.5em ; padding : 0.2em 1em }
PRE.screen { background : black ;  color: white ; padding : 0.5em  }
TT.methodname { font-weight: bolder ; white-space: nowrap  }