#colonne,#colonne-droite,#credits,#logo,#sous-titre { display: none }

body {
 font: 0.85em/1.3em "Times New Roman", serif, Verdana, Geneva, Arial, Helvetica;
}

h1 { font-size: 1.6em; line-height: 1.2em }
h2, dt { font-size: 1.4em }
h3 { font-size: 1.2em }

img { float: right; margin: 10px 0 10px 10px }

pre, .exemple, #sommaire, .attention {
 margin: 20px 20px;
 border: 1px solid grey;
 background:  white;
 padding: 10px;
 -moz-border-radius: 10px;
 white-space: normal;
 text-align: left
}

p.backtop {
 display: none
}

