@charset "UTF-8";
/*@import url('https://fonts.googleapis.com/css2?family=Courier+Prime:ital,wght@0,400;0,700;1,400;1,700&display=swap');*/
@import url('https://fonts.googleapis.com/css2?family=Fira+Code:wght@300..700&display=swap');

html{
  background-color:#b8b8b8;
  }

body{
  margin:2em;
  padding: 1em;
  max-width:40em;
  font-size:1.1em;
  /*font-family: "Courier Prime", monospace;*/
  line-height:1.6;
  }

pre{
  font-family: "Fira Code", monospace;
  }

a:link {
  color:navy;
}
a:visited {
  color:navy;
}
a:hover {
  color:blue;
}