/* Set navbar title to bold */
.navbar-brand {
  font-weight: bold;  /* Make the navbar title text bold */
}

/* Global font settings for common text elements */
body, h1, h2, h3, h4, h5, h6, p, li, a, blockquote, code, pre {
  font-family: 'Times New Roman', Times, serif;  /* Use Times New Roman for all specified elements */
}

/* Set font for table elements */
table, th, td {
  font-family: 'Times New Roman', Times, serif;  /* Use Times New Roman for tables, headers, and cells */
}

/* Forcefully override the default theme font size */
body {
  font-size: 18px;  /* Set the default font size to 18px */
}

code {
  padding: 10px !important;  /* Add padding */
  border-radius: 5px !important;  /* Rounded corners */
  overflow: auto !important;  /* Ensure scrolling is handled correctly */
}