/*.example-wrapper { margin: 1em auto; max-width: 800px; width: 95%; font: 18px/1.5 sans-serif; } */
.example-wrapper { font: sans-serif; }
.example-wrapper code { background: #F5F5F5; padding: 2px 6px; }
.flash-notice  { background: green; color: white; padding: 2px 6px; }
.flash-warning { background: yellow; color: black; padding: 2px 6px; }
.flash-error { background: red; color: white; padding: 2px 6px; }

.red {color: red}

/* ESTILO PARA DÍAS FESTIVOS */
.festivo {background-color: #ff9f89;}