/* --- fix/hidde horizontal scroll for pre elements --- */
pre {
  white-space: pre-wrap !important;
}


/* css for no valid element's in HTML5 */
tt, .tt{
    background: #F5F5F5; font-family: 'Lucida Console', monospace;
}

strike, .strike{
    font-style: italic; text-decoration: line-through;
}

big, .big {font-size: medium}

.underline{
    text-decoration: underline;
}


/* image */
.img-left, .pull-left {
    float: left; margin: 0 10px 10px 0;
}
.img-right, .pull-right {
    float: right; margin: 0 0 10px 10px
}


/* --- hidden content if overflow block --- */
.oh {
    overflow: hidden
}