@import url(/php/def/paperstyle.css);


/* Article headline style
*/
.headline {
color: #303030;
background-color: #99FF99;
font-weight: bold;
font-size: 109%;
border-top:    1px solid #E0E0E0;
border-left:   1px solid #E0E0E0;
border-bottom: 1px solid gray;
border-right:  1px solid gray;
padding-left: 0.3em;
}