.box     { border: thin solid #888888;
           page-break-inside: avoid ;
           background-color: #F8F8F8 ; padding:1em ;
         }

pre		 { margin: 1em 4em 1em 2.5em ; /* Top Right Bottom Left */
           padding: 1ex;
           page-break-inside: avoid ; }

pre.csv:before {
    content:    "CSV" ;
    display:    block;
    float:      right ;
    width:      100px;
    background: #a0ffa0;
    font-family:    sans-serif;
    font-size:   80% ;
    padding:    2px 2px 2px 20px ;
    font-weight:    bold;
    margin: -1em 0 0.5em 1em;
}
pre.tsv:before {
    content:    "TSV" ;
    display:    block;
    float:      right ;
    width:      100px;
    background: #a0ffa0;
    font-family:    sans-serif;
    font-size:   80% ;
    padding:    2px 2px 2px 20px ;
    font-weight:    bold;
    margin: -1em 0 0.5em 1em;
}