.mp-haut {
    padding:8px;
    border:2px solid #BBB;
    background: url(bg01.png) top repeat-x;
    -moz-border-radius:14px;
    -webkit-border-radius:14px;
    color: #444;
}

.mp-src {
    margin:10px 15px 0 0;
    padding:5px;
    /* border-left:2px solid #CCCCCC; */
}

/* Style du balisage du fichier MetaPost ---------------------------- */
.mp-com {
    background:inherit;
    color: #777;
}

.mp-typ {
    background:inherit;
    color: #386;
}

.mp-con {
    background:inherit;
    color: #35A;
    font-weight: bold;
}

.mp-ins {
    background:inherit;
    color: #35A;
}

.mp-str {
    background:inherit;
    color: #A53;
}

.mp-tra {
    background:inherit;
    color: #3B5;
}

.mp-sty {
    background:inherit;
    color: #472;
}

.mp-tex {
    background: inherit;
    color: #880;
}

.mp-ita {
    font-style:italic;
}