@charset "utf-8";
@media all and (max-width : 480px)
    {
    BODY
        {
        margin:4px;
        font-family: Arial, Helvetica, sans-serif;
        /*color : #666666;*/
        font-size:22px;
        background-color: white;
        }
    }
@media (min-width : 480px) and (max-width : 780px)
    {
    BODY
        {
        margin:4px;
        font-family: Arial, Helvetica, sans-serif;
        /*color : #666666;*/
        font-size:20px;
        background-color: white;
        }
    }
@media all and (min-width : 780px)
    {
    BODY
        {
        margin:4px;
        font-family: Arial, Helvetica, sans-serif;
        /*color : #666666;*/
        font-size:16px;
        background-color: white;
        }
    }

.vignette
    {
    width : 160px;
    height: 100px;
    }
.vignette:hover
    {
    width : 320px;
    height : 200px;
    }
pre
    {
    border : ridge 8px red;
    width : 820px;
    background-color : black;
    color : yellow;
    }
pre a
    {
    color : white;
    }