.attention { 
margin: 3pt 10% 0pt 10%; 
background: #ff0000;
clear:left
}
.note { 
  -moz-border-radius: 15px;
  border-radius: 15px;  
background: #dddddd;
}
.ghci { 
  -moz-border-radius: 15px;
  border-radius: 15px;  
background: #dddddd;
clear:left
}
.ghci-output { 
  -moz-border-radius: 15px;
  border-radius: 15px;  
background: #ffdddd;
clear:left
}
.test-data { 
  -moz-border-radius: 15px;
  border-radius: 15px;  
background: #ddffdd;
clear:left
}
.code-block { 
  -moz-border-radius: 15px;
  border-radius: 15px;  
background: #ddddff;
clear:left
}
.fun
{ float:right; padding:5px }


.navcontainer
{
margin: 20px 140px 10px 3em;
background: #f0f0f0;
}

ul.hlist { 
padding: 0 10px 0 0;
}

.hlist li
{
display: inline;
padding-bottom: 14px;
padding-left: 20px;
background-repeat: no-repeat;
}

.hlist a
{
padding-left: 20px;
padding-bottom: 14px;
font-weight: bold;
text-decoration: none;
}

.hlist a:link, .hlist a:visited
{
padding-left: 20px;
color: blue;
background: url(/static/images/arrowbullet.png);
background-position: 0 -28px;
background-repeat: no-repeat;}

.hlist a:hover
{
color: red;
padding-left: 20px;
background: url(/static/images/arrowbullet.png);
background-repeat: no-repeat;
background-position: 0 -14px;}

ul.vlist { 
list-style-position: inside;
text-indent: -3em;
}

.vlist li
{
display: list-item;
padding-left: 20px;
background-repeat: no-repeat;
}

.vlist a
{
padding-left: 20px;
font-weight: bold;
text-decoration: none;
}

.vlist a:link, .vlist a:visited
{
padding-left: 20px;
color: blue;
background: url(/static/images/arrowbullet.png);
background-position: 0 -28px;
background-repeat: no-repeat;}

.vlist a:hover
{
color: red;
padding-left: 20px;
background: url(/static/images/arrowbullet.png);
background-repeat: no-repeat;
background-position: 0 -14px;}

#footer
{ 
/* clear:both; */
}

@media print { 
  .rtop,.rbottom{display: none;}
}

#Red
{
color: red;
}

.hlist a:hover
{
color: red;
padding-left: 20px;
background: url(/static/images/arrowbullet.png);
background-repeat: no-repeat;
background-position: 0 -14px;}

#quote
{
clear: both;
font-size: .7em;
width: 400px;
padding: 1px 5px;
background-color:#ddd;
-moz-border-radius: 15px;
border-radius: 15px;  
}

#pageHeader 
{  
        font-size: 3em;
        margin: 0;
        padding: 0 3px;
        text-align: center;
}



.noDisplay { display: none; }

.rtop,.rbottom{display:block}
.rtop *,.rbottom *{display:block;height: 1px;overflow: hidden}