body {
        font-family: sans-serif;}
    
    div#container {
        margin: auto;
        margin-top: 50px;
        margin-bottom: 50px;
        width: 600px;
    }
        
    div#intro {
        margin: auto;
        margin-top: 10px;
        background-color: white;
        width: auto;
        height: auto;
        padding: 10px;
        border: 1px dashed black;
        font-size: 15px;
    }

    
    /* texts */    
    p.title {font-size: 20px;
        line-height: 1;}

    p { line-height: 1.5;}
    
    span.highlight{color: cadetblue;}
    
    .subhead {
        font-style: italic; 
        font-size: 17px; 
        text-decoration: underline;}
    
    blockquote {
        margin:0 0 10px 20px; 
        padding:0 15px; 
        border-left:1px dotted #000000;}
    
    ul {
        list-style: square;
        margin:-10px 0 0 40px; 
        padding:0 5px; 
    }
    
/* ----------------------------------------- */

    /* links */
    a:link {text-decoration: none;
    color: darkcyan;}

    a:hover {
        text-decoration:underline;
        text-decoration-style: dotted;
        color: darkcyan;}

    a:visited {
        text-decoration: none;
        color: lightseagreen;}
    
/* ----------------------------------------- */
    
    #favi {margin-top:2px;}
    
    hr {width: 500px;
    float: left;}