/*This css is used for generically branded web pages eg- the generic redirection page*/
html
{
  background-color : #F0F0F0;
}

body 
{

  color : #333333;

  font-size : small;
  font-family : verdana, arial, sans-serif;

  width : 56em;
  min-width : 730px;
  margin : 1em auto 1em auto;
  padding : 1em 2em;
  border : 1px solid #999999;
  background-color : white;
}

#masthead
{
  margin : 0 0 0 0;
  text-align : left;
}

h1
{
  text-align : left;
/*   font-family : georgia, "times new roman", serif; */
  font-weight : normal;
}

h2
{
  font-size : 120%;
  font-weight : normal;
  margin : 0 0 0 0;
}

.summary em
{
  font-size : 120%;
  font-style : normal;
}

.summary
{
  text-align : left;
  margin : 0 0 2em 0;
}

p
{
  margin : 0 0 0.75em 0;
  padding : 0 0 0 0;

  line-height : 1.4em;
}

ul
{
  margin : 0 0 0 0.5em;
  padding : 0 0 0 0;
}

ul li
{
  margin : 0 0 0.75em 1em;
  padding : 0 0 0 1.3em;
}

#footer
{
  text-align : right;
  font-size : 85%;
  margin : 0;
}

hr
{
  height : 1px;
  color : black;
  border-width : 0;
  border-top : 1px solid #999999;

  margin : 2.25em 0 0.75em 0;
  
}