/* style sheet to be used for tool output */

/* $Id: tools.css,v 1.12 2021/05/11 12:15:41 bbos Exp $ */

body {
  font-family: sans-serif; background: #ffffff
}
h1,h2,h3,h4,h5,h6,ul,div {font-family: sans-serif }
p {font-family: sans-serif}
h2 { color: #006699 }
pre { color: green; font-weight: bold }
strong { text-transform: uppercase; font-weight: bold }
b { color:#006699 }
tr {vertical-align: baseline}

td.tool { background: #ffeecc;  font-family: sans-serif }

td.shortcut { background: #e7e7ff; 
 font-family: monospace }

td.desc { background: #e7e7ff }
th { background: #cccccc }
p.splash { color: #006699 }
p.banner { margin-left: -4% }
blockquote { color: #006699; font-style: italic }
pre { color: #006699 }
.question {font-style: italic; }
div.small {
   font-size:small;
   margin-left: 10% }