body {
  margin: 0;
  padding: 0;
  font-family: Georgia, sans-serif;
  line-height: 1.5em;
  font-size: 12pt;
}

h1, h2, h3 {
  padding: 0;
  margin: 0;
}  

h1, h2 {
  line-height: 1.25em;
}

header {
  margin: 0;
  margin-bottom: 8pt;
  padding-top: 12pt;
  padding-bottom: 26pt;
  border: 1px solid black;
  color: #fff;
  background: #000;
  font-size: 19pt;
  text-align: center;
  box-shadow: 0px 2px 12px #888;
}

header h1 a {
  background: url(../images/symbol.png) top center no-repeat;
  color: #FFFFFF;
  display: block;
  margin-top: 0.25em;
  padding-top: 100px;
  text-decoration: none;
}

section {
  padding-top: 16pt;
  text-align: center;
}

section h1 {
  font-size: 19pt;
}

article {
  padding-top: 8pt;
}

article, nav {
  margin: 0 auto;
  text-align: justify;
}

article p a, article li a {
  text-decoration: none;
  border-bottom: 1px dashed #444;
  color: #000;
}

article p a:hover, article li a:hover {
  color: #337;
}

section.concrete {
  background: #ccc;
  margin-top: 24pt;
  padding-top: 24pt;
  padding-bottom: 32pt;
  border-top: 8pt solid #aaa;
}
section.concrete h1 {
  font-size: 28pt;
  margin-bottom: 32pt;
  text-align: center;
}
section.concrete h2 {
  margin-top: 12pt;
}
section.concrete h2 a {
  text-decoration: none;
  color: #000;
}
section.concrete h2 a:hover {
  border-bottom: 2px dashed #444;
  color: #337;
}
section.concrete h3 {
  color: #333;
  font-weight: normal;
}

section#factor h2 {
  font-size: 28pt;
  margin-bottom: 12pt;
}
section#factor h3 {
  font-size: 17pt;
  font-weight: normal;
  color: #555;
  margin-bottom: 16pt;
}

nav {
  margin-top: 16pt;
  margin-bottom: 48pt;
}
nav #locales {
  text-align: center;
}
nav #locales a {
  color: #000;
}
nav #locales span {
  font-weight: bold;
}
nav #next {
  float: right;
}
nav #prev {
  float: left;
}
nav #next a, nav #prev a {
  display: block;
  font-size: 19pt;
  text-decoration: none;
  color: #000;
}

code {
  border: 1px solid #999;
  background: #eee;
  padding: 1pt 3pt;
}

table {
  padding-left: 32pt;
}
td, th {
  padding-right: 12pt;
  padding-bottom: 4pt;
}

footer {
  color: #999;
  font-size: 10pt;
  background: #000;
  padding-top: 24pt;
  padding-bottom: 16pt;
  text-align: center;
  padding-right: 64pt;
  min-height: 56pt;
}

footer a {
  color: #999;
}

footer p.legal a {
  padding-right: 7px;
}

article img {
  float: right;
  margin-left: 32pt;
}

article img.full {
  float: none;
  margin-left: 0;
}

.cpra a img {
  height: 17px;
  margin-bottom: -5px !important;
  margin-right: 5px;
}

article.rtl {
  direction: rtl;
}

article.ltr {
  direction: ltr;
}

.header-container {
  position: relative;
  justify-content: space-between;
  align-items: center;
  padding: 1rem;
  padding-right: 2rem;
  box-sizing: border-box;
  width: 100%;
}

.title-wrapper {
  flex: 1;
  text-align: center;
}

.header-container h1 {
  margin: 0;
}

.top-nav {
  position: absolute;
  right: 2rem; /* Position the navigation links on the right side */
  top: 25%;
  transform: translateY(-25%); /* Vertically center-align the links */
  z-index: 2;
}

.top-nav ul {
  display: flex;
  list-style: none;
  margin: 0;
  padding: 0;
}

.top-nav li {
  margin-left: 1rem;
}

.top-nav a {
  text-decoration: none;
  color: #fff;
  font-size: 14px;
}

.top-nav a:hover {
  text-decoration: underline;
}

.github-button {
  margin-top: -4px;
  margin-left: -4px;
  display: flex;
  align-items: center;
  background-color: #0366d6; /* GitHub blue color */
  color: #ffffff;
  padding: 6px 12px;
  border-radius: 20px; /* Rounded corners */
  transition: background-color 0.3s ease;
}

a.github-button:hover {
  background-color: #024ea2; /* Darker blue on hover */
  text-decoration: none;
}

.github-logo {
  width: 20px;
  height: 20px;
  margin-right: 6px;
}

.blog img {
  float: left;
  margin-right: 15px;
  margin-bottom: 10px;
  width: 100px;
  height: auto;
  border-radius: 5px;
  margin-left: 0px;
}

.blog h6 {
  color: darkgray;
  font-size: 0.9em;          /* Make it slightly smaller than default heading sizes */
  font-weight: normal;       /* Make it less bold to differentiate from main headings */
  margin-top: 0;             /* Remove extra margin at the top */
  margin-bottom: 5px;        /* Minimal spacing below the date */
}

.maintainers img {
  float: left;
  margin-right: 15px;
  margin-bottom: 10px;
  width: 100px;
  height: auto;
  border-radius: 5px;
  margin-left: 0px;
}

.maintainers h2 {
  clear: both;
}