@font-face {
    font-family: 'ubuntu_mono_derivative_poweRg';
    src: url('ubuntu_mono_derivative_powerline-webfont.eot');
    src: url('ubuntu_mono_derivative_powerline-webfont.eot?#iefix') format('embedded-opentype'),
         url('ubuntu_mono_derivative_powerline-webfont.woff') format('woff'),
         url('ubuntu_mono_derivative_powerline-webfont.ttf') format('truetype'),
         url('ubuntu_mono_derivative_powerline-webfont.svg#ubuntu_mono_derivative_poweRg') format('svg');
    font-weight: normal;
    font-style: normal;

}

pre {
    font-size:0.8em;
}