// Inline code
code {
  margin: 0 4px;
  padding: 2px 4px;
  border: 1px solid @code-border-color;
  border-radius: @border-radius-base;
  font-size: 90%;
  background-color: @code-bg;
}