* {
   margin: 0;
   padding: 0;
}


/* ------------ default text body --------------- */
body {
    line-height: 1.3;
    font-family: "Dejavu Sans"; font-size: 13px; font-style: normal; font-variant: normal;       
    margin-left: 20px;
    margin-right: 20px;
    margin-top: 20px;

}

/* ---------- CODE --------------------- */

span.code { 
   font-family: "Roboto Mono";
   font-size: 1.0em;
   /* font-family: monospace; */
    background-color: lightgrey;
    color: blue;    
}

div.code { 
   /* font-family: monospace; */
   /* font-family: "Roboto Mono"; */
   font-family: "Dejavu Sans Mono";
   font-size: 13px;
   white-space: pre-wrap;
   margin-top: 10px;
   margin-bottom: 10px;
   padding-left:10px;
   padding-bottom:10px;
   padding-top:10px;
   /* background-color: lightgrey; */
   /* background-color: ivory; */
   background-color: beige;

   color: blue;
}



/* ------------- TEXT EFFECTS --------------- */
span.done { text-decoration: line-through; }


/* ------------- LISTS --------------------- */

li { 
    margin-left: 20px;
}

/* Space between <li> items  */
li:first-child {
    margin-top: 5px;
}
li:not(:last-child) {
    margin-bottom: 5px;
}

span.red { color: red; }


p:first { 
    margin-top:50px;
}