html * { 
font-family: Helvetica, sans-serif;
}

html {
margin: 0;
padding: 1ex 4ex;
}       

body { 
margin: 0;
padding: 0;
font-size: 95%;
}

a:link { color: blue; }
a:visited { color: #008; }
/*
#column1 { float:right; }
div#column1 { margin: 0; padding: 0 0.5ex 0 0.5ex; }
div#column1 { margin: 0; padding: 0 0 1em 0; font-size: 90%; font-family: monospace; }
*/

table,
table * {
border: dotted gray 1px;
border-collapse: collapse;
}
table * {
padding: 0.3ex;
}


#tools
{
  font-size: 100%;
  padding: 0;
  margin: 0 0 -0.5ex 0;
}
#tools form
{
  text-align: right;
  margin: 0;  padding: 0;
}

#content
{
  line-height:130%;
  margin: 0; padding: 0; 
}

#toc
{
  font-size: 95%; 
  border: 1px dotted #ddd;
  padding: 0.2ex; margin: 0.8ex 0 1ex 0;
}

#preview { border: 1px solid #dddddd; padding: 1ex; margin-bottom: 1em; }
#conflictExp { font-size: 110%; color: #FF0000; border-style: solid; border-width: 4px; padding: 1ex; }

#pnBar { text-align:center; font-size: 120%; }

#content h1
{ 
  font-family: sans-serif; color: white;
  line-height:120%; 
  background-color: #000044;  background-image: url("/devel/b1.png");
  margin: 0.5ex 0 0 0;
  padding: 0.9ex;
}

#content h1 a:link { color: #ddffff; }
#content h1 a:visited { color: #bbffff; }
.editlink { background-color: #eee; }
h1 .editlink { background-color: #006; }

#content h2 
{
  line-height:120%; color: #000000; 
  border-bottom:1px solid black;
  margin-top: 0.5ex; 
  padding: 1ex 1ex 0.2ex 0.6ex;
}

#content h3,h4,h5,h6
{
  line-height:120%; color: #000000;
  border-bottom:1px dotted gray; 
  margin: 0.5ex 0 0 0;
  padding: 1ex 1ex 0.3ex 0.7ex;
} 

#content blockquote
{ 
  border-left: 2px solid gray; border-right-width: 1px; border-top-width: 1px; 
  border-bottom-width: 1px; margin-left: 2ex; margin-right: 0; 
  padding-left: 1ex; padding-right: 0; padding-top: 0; padding-bottom: 0;
}

.verbatim-hard
{
  font-family: monospace; line-height:110%;
  border: 1px solid #ccc;
  background-color: #f8ffff; background-image: url("/devel/vbh.gif");
  margin: 0; 
  padding: 1ex;
}
.verbatim-soft
{
  font-family: monospace; line-height:110%;
  border: 1px dotted #ccc;
  background-color: #f8ffff; background-image: url("/devel/vbh.gif");
  margin: 0; 
  padding: 1ex; 
}

#footer { font-style: italic; font-size:60%; }
#footer hr { margin:1ex 0 0 0; padding: 0; clear: both; }
#footer #pageinfo{ margin-top:0.5ex; margin-bottom:0; }
#footer #productinfo{ margin-top:0.5ex; }
#footer #productinfo img { vertical-align: top; float: right }

ul.wmslist li { margin-top:0.5ex; margin-bottom:0.5ex; }