html {
  scroll-padding-top: 56px;
}

.category-summary a {
  text-decoration: none;
}

.section-summary a {
  text-decoration: none;
}

.article-summary h2 a {
  text-decoration: none;
}

.filepath {
  /* Use for paths and filenames */
  font-weight: bold;
  font-style: italic;
}
.ui-element {
  /* Use for things like program options and menu items */
  color: #008000;
  font-style: italic;
}
code .comment {
  color: green;
}
code .keyword {
  font-weight: bold;
  color: blue;
}
code .string {
  color: #A00000;
}
code .constant {
  font-weight: bold;
}