.dummySelectorForVSCodeColourSelectionPanel{
     color: #09005c;
 }

body {
     font-family: Verdana, Geneva, Tahoma, sans-serif;
     color:aliceblue;
     margin: 2em;
     background-color:#07013b; 
}
body h1 {
     margin-left: 9em;
}
.credit {
     font-size: 1.3em;
     padding: 2em 3em;
}
.credit a {
     color:lavender;
}