@import"https://fonts.googleapis.com/css2?family=Open+Sans:wght@300;400&display=swap";html,body{height:100%}body{margin:0;font-family:Open Sans,sans-serif;background-image:url(/assets/binary.png);background-repeat:repeat-x;background-color:#ccc}body p.hl{color:#dc143c}