div#licence {
border: 2px solid black;
margin: 4em; padding:2.4em;
font-size: 0.8em;
text-align: justify;
overflow: auto;
height: 30em;
}

div#licence h1.title {color: #008080; font-size: 200%; text-align: center}
div#licence h2 {color: #008080; font-size: 150%}
div#licence h3 {color: #008080; font-size: 140%} 
div#licence h4 {color: #008080; font-size: 120%} 
div#licence h5 {color: #008080; font-size: 100%} 
div#licence span.numbering {color: #008080}
div#licence span.definition {font-weight: bold}
div#licence div.version {font-style: italic}
div#licence div.footnote {font-size: 80%} 
div#licence ins {text-decoration: underline; background: #AAFFA4}
div#licence div.added {text-decoration: underline; background: #AAFFA4}
div#licence del {text-decoration:line-through; background: #8F8F8F}
div#licence div.deleted {text-decoration:line-through; background: #8F8F8F