body { font-size: 1.2em; }
pre {	white-space: pre-wrap; }  
footer { margin-top: 5em; border-top: 1px solid #777; }
.art_img { float: left; margin: 0 1em 1em 0; padding: 1em; border: 1px solid #ccc; }
a { color: #05f; }
p.trad { float: right; }
navbar { font-size: 1.2em; }
table.table, table.table th, table.table td {    border: 1px solid black;    border-collapse: collapse;  }
table.padded th, table.padded td { padding: .3em; }