a {
  color: blue;
  text-decoration: none;
}

article {
  margin-top: 16px;
  margin-bottom: 16px;
}

body {
  max-width: 512px;
  padding: 0 16px;
  margin: 16px auto;
}

nav {
  text-align: center;
  display: flex;
  justify-content: space-between;
}

nav > * {
  display: flex;
  column-gap: 16px;
}

pre {
  padding: 16px;
  overflow-x: auto;
  background-color: #f5f5f5;
}

code {
  background-color: #f5f5f5;
}

.Comment { 
  color: #0000c0; 
}

.Constant { 
  color: #c00000; 
}

.Identifier { 
  color: #008080; 
}

.LineNr { 
  color: #af5f00;
}

.Statement { 
  color: #af5f00; 
}

.Type {
  color: #008000; 
}