/* Version du 29/11/2015 */

div.fond { opacity : 0.6 ;
         background-image : url("http://www.algodok.com/images/texture-bois-clair.jpg") }

résultat { display : block ; border-bottom : dotted 1px gray ; padding : 0.25em }

var { margin-right : 1em }    var .valeur { width : 12em }
var[name="x"] { background-color : white ; padding : 0 4px 0 2px }

/* .étiquette { margin-left : 0em ; margin-top : 2em } */


[id="le brouillon"] b
   { background-color : pink ; border-radius : 0.25em ; padding : 0 3px 0 3px }

[id="l'éditeur pour le script"] { height:auto ; margin-top : 0.25em }


div.CodeMirror-lines pre, div.CodeMirror-gutter pre { line-height : 1.1em }
div.CodeMirror-gutter pre { color : blue }