source: extensions/PHP_Optimisateur/files/style.css @ 7988

* {
        margin:0px;
        padding:0px;
        border:0px;
}

body {
        font-size:12px;
        font-family:Verdanna;
        background:#eee;
        color:#333;
}

div {
        width:40%;
        margin:10px;
        padding:10px;
        border:1px dotted #333;
        float:left;
}

h2 {
        margin-top:-5px;
}

ul {
        margin:0 0 0 20px;
}
li {
        margin-top:5px;
}
li ul li {
        margin-top:0;
}

.title {
        width:80%;
        padding:10px 30px;
        font-weight:bold;
        text-align:center;
        font-size:1.5em;
        background:#333;
        color:#eee;
        border-color:#eee;
}
.files li {
        margin-top:0;
}

.finish  {
        background:#DAFFBF;
        font-weight:bold;
        font-size:1.2em;
}

.error {
        background:#FFD0BF;
        font-weight:bold;
        font-size:1.2em;
}