html, body {
  padding:0px;	
  font-size:14px; font-family:"Lucida Grande", "Lucida Sans Unicode", Arial, Verdana, Helvetica, sans-serif; background-color: #fff; color: #222;
  line-height:1.5;

  margin-left: 10px;

      a[href $='.pdf'] {
         padding-right: 18px;
         background: transparent url(icon_pdf.gif) no-repeat center right;
      }
      a[href ^="http:"] {
         padding-right: 18px;
         background: transparent url(icon_external.gif) no-repeat center right;
      }
      a[href ^="mailto:"] {
         padding-right: 18px;
         background: transparent url(icon_mailto.gif) no-repeat center right;
      }

      blink { color: red; }   
}

     .cocci-minus { color: green; }
     .cocci-plus  { color: red; }
     .cocci-special { color: blue; }
     .keyword { color: orange; }
     .type { color: orange; }


a:hover { text-decoration: underline;     }

h1, h2, h3, tt { color: #000 }

h1 { padding-top:0px; margin-top:0px;}
h2 { color:#333333; padding-top:0.5em; }
h3 { padding-top: 0.5em; margin-bottom: -0.25em; color:#2d58b7}
li { padding-bottom: 0.5em; }
ul { padding-left:1.5em; }

/* Slides */
IMG.img_slide {
    display: block;
    margin-left: auto;
    margin-right: auto 
}