/* estilos para el div con errores PEAR */

div.pear_error {
    font-weight: bold;
    border: 1px solid red;
    background-color: rgb(100%,50%,50%);
    color: black;
    padding: 0.3em;
  }


div.pear_error ol {
    background-color: rgb(100%,100%,100%);
    border: 1px dotted white;
    padding-left: 2em;
    padding-top: 0.3em;
  }

div.pear_error li {
    margin-bottom: 1em;
    font-size: 70%;
  }


div.pear_error ol li span.archivo {
    font-weight: bold;
  }


div.pear_error ol li span.arg {
    color: #001EA2;
    font-family : monospace;
    white-space : pre;
    margin-right: 1em;
    font-size: 50%;
  }