/* Custom styling for code and links */

/* Inline code: use a distinct background and muted color */
code {
  background-color: #f5f5f5;
  color: #4d4d4d;
  padding: 0.15em 0.35em;
  border-radius: 3px;
  font-family: "Consolas", "Monaco", "Courier New", monospace;
}

/* Emphasized tool names (italic) get a subtle muted color */
em {
  color: #4d4d4d;
}

/* Links: blue and underlined */
a, a:visited {
  color: #0d6efd;
  text-decoration: underline;
}

a:hover {
  color: #0b5ed7;
}