body {
    background: grey;
    color: white;
    font-family: monaco, monospace;
    font-size: 10px;
    margin-left: 150px;
    margin-right: 300px;
}

div.disco {
    width: 600px;
    border: 2px solid white;
    padding: 20px;
    margin-bottom: 40px;
}

div.disco a {
    color: white;
    text-decoration: underline;
}

div.disco img {
    margin: 8px 0;
}

div.disco h2 {
    font-family: book antiqua, serif;
    font-size: 20px;
}

a:visited {
    color: silver;
}

p.dereita {
    text-align: right;
}

p.ref {
    text-align: left;
    font-family: helvetica, arial, sans-serif;
    font-size: 10px;
}

div.pe {
    width: 600px;
    margin-top: 20px;
    padding: 20px;
    font-family: georgia, times, serif;
    font-size: 12.5px;
}

div.pe a {
    color: white;
    text-decoration: underline;
}

div.pe a:hover {
    text-decoration: overline;
}

ul.enlaces {
    list-style-type: none;
}

li.enlaces {
    float: left;
    padding-left: 5px;
}

h1.enc {
    font-family: book antiqua, serif;
    font-size: 100px
}