@import url("fonts.css");

body {
    font-family: 'Fira Sans', sans-serif ;
    max-width : 800px ;
    margin : auto ;
    padding : 1rem ;
    line-height : 1.3 ;
}

h1 {
    margin : 0 ;
}

a {
    text-decoration: none;
}

div.highlight {
    padding : 1px 5px ;
    border-right-style : solid ;
    border-right-width : 5px ;
    margin : 0 ;
    background-color : #DCDCDC ;
}

pre {
    margin : 0 ;
    padding : 10px ;
    overflow-x: scroll;
}