html {
  font-size: 18px;
  font-family: "Segoe UI", Helvetica, Arial, sans-serif;
  margin: 0;
  line-height: 1.42857;
}

body {
  margin: 0;
  padding: 0;
}

li {
  list-style: none;
}

ol, ul {
  margin: 0;
  padding: 0;
}

h1 {
  font-family: "Segoe UI Semibold", sans-serif;
  font-size: 1.4rem;
  margin-bottom: 1rem;
}

h2 {
  font-family: "Segoe UI Semibold", sans-serif;
  font-size: 1.2rem;
  margin-bottom: 1rem;
}

li > a,
li > span {
  display: inline-block;
  padding: 0.25rem 1rem;
}

body > .container {
  padding: 1rem;
}

main > header > * {
  margin-top: 0;
  margin-bottom: 0;
}

main > header {
  margin-bottom: 1rem;
}

html.repository-list ol.pinned {
  margin-bottom: 2rem;
}

html.tag-list .tag-group-list li {
  display: inline-block;
  border: 1px solid #aaa;
  border-radius: 0.25rem;
}

html.tag-list .tag-list > li > ol {
  margin-left: 1rem
}

html.tag-list .tag-list > li .instruction {
  font-family: "Courier New", monospace;
  font-size: 0.8rem;
  padding: 0.15rem 0.5rem 0.05rem;
  margin: 0 1rem;
  display: inline;
  vertical-align: middle;
  background: #ddd;
  border: 1px solid #aaa;
}

html.tag-list .tag-list > li > ol > li {
  display: inline-block;
  font-size: 0.8rem;
  color: #444;
}