html { overflow-y: scroll }
table { border-collapse: collapse }
table, td, th { border-color: gray; padding: 0.2em }

div.ORBprop	{ width: 98%; float: right }
div.nest-webcont	{ margin-left: 1em }
div.nest-jdbc		{ margin-left: 1em }

ul.compact { margin-left: 1.5em; padding-left: 0em; margin-top: 0.3em; margin-bottom: 0.3em }

/* for Firefox */
pre  { font-size: 9.5pt }
code { font-size: 9.5pt }