configuration {
  font: "Noto Sans 20";
}
@theme "Paper.rasi"