#root_blason {
    display : inline;
    /*width : 60%;*/
}

#root_image {
    display : inline;
    /*width : 40%;*/
    float : right;
    border: 1px solid;
    margin: 1em;
    padding: 1em;
}

#root_text {
    display: block;
}

div {
    margin: 5px;
}

div.boxed {
    border-left-style:dotted;
    border-width:1px;
    margin: 5px;
}

label {
    margin: 3px;
    color: #00f;
    font-variant: small-caps;
}

label.node {
    color: #666;
    font-style: italic;
}

select {
    border: 0;
    border-radius: 0;
}

select.atom {
    font-size: 1.5em;
    font-family: monospace;
}

option {
}

span.txt {
    font-size: 140%;
    font-family: monospace;
}

span.tsc {
    font-family: serif;
    font-style: italic;
    font-variant: small-caps;
}

img.resize {
    
  max-width:35%;
  max-height:35%;
  border: solid;
  margin: 2em;
  
}