/* === Fonts (Omar uses Noto Sans) === */
@import url('https://fonts.googleapis.com/css2?family=Noto+Sans:wght@400;700&display=swap');

body {
  background-color: #fff;
  padding: 50px;
  font: 14px/1.5 "Noto Sans", "Helvetica Neue", Helvetica, Arial, sans-serif;
  color: #727272;
  font-weight: 400;
  text-align: justify;
}

h1, h2, h3, h4, h5, h6 {
  color: #222;
  margin: 0 0 20px;
  line-height: 1.1;
}

h1 { font-size: 28px; }
h2 { color: #393939; }
h3, h4, h5, h6 { color: #494949; }

p, ul, ol, table, pre, dl {
  margin: 0 0 20px;
}

a {
  color: #267CB9;
  text-decoration: none;
}

a:hover, a:focus {
  color: #069;
  font-weight: bold;
}

a small {
  font-size: 11px;
  color: #777;
  margin-top: -0.3em;
  display: block;
}

.wrapper {
  width: 860px;
  margin: 0 auto;
}

blockquote {
  border-left: 1px solid #e5e5e5;
  margin: 0;
  padding: 0 0 0 20px;
  font-style: italic;
}

code, pre {
  font-family: Monaco, Consolas, "Liberation Mono", "Courier New", monospace;
  color: #333;
  font-size: 12px;
}

pre {
  padding: 8px 15px;
  background: #f8f8f8;
  border-radius: 5px;
  border: 1px solid #e5e5e5;
  overflow-x: auto;
}

table {
  width: 100%;
  border-collapse: collapse;
}

th, td {
  text-align: left;
  padding: 5px 10px;
  border-bottom: 1px solid #e5e5e5;
}

dt, th {
  color: #444;
  font-weight: 700;
}

img { max-width: 100%; }

/* === Header === */
header {
  width: 270px;
  float: left;
  position: fixed;
  -webkit-font-smoothing: subpixel-antialiased;
}

/* Replace gradient header ul with flat downloads bar */
header ul {
  list-style: none;
  height: 40px;
  padding: 0;
  margin: 0;
  background: #f4f4f4;
  border-radius: 5px;
  border: 1px solid #e0e0e0;
  width: 270px;
}

header li {
  width: 89px;
  float: left;
  border-right: 1px solid #e0e0e0;
  height: 40px;
}

header li:last-child {
  border-right: none;
}

header ul a {
  line-height: 1;
  font-size: 11px;
  color: #676767;
  display: block;
  text-align: center;
  padding-top: 6px;
  height: 34px;
}

header ul a:hover, header ul a:focus {
  color: #675C5C;
  font-weight: bold;
}

header ul a strong {
  font-size: 14px;
  display: block;
  color: #222;
}

/* === Sections & Footer === */
section {
  width: 500px;
  float: right;
  padding-bottom: 50px;
}

small { font-size: 11px; }

hr {
  border: 0;
  background: #e5e5e5;
  height: 1px;
  margin: 0 0 20px;
}

footer {
  width: 270px;
  float: left;
  position: fixed;
  bottom: 50px;
  -webkit-font-smoothing: subpixel-antialiased;
}

/* === Publications === */
.publication {
  margin-bottom: 20px;
  padding-bottom: 15px;
}

.publication-title {
  font-weight: bold;
  margin-bottom: 5px;
  line-height: 1.3;
}

.publication-authors,
.publication-venue {
  font-size: 14px;
  color: #666;
  font-style: italic;
}

.publication-venue a {
  color: #267CB9;
  text-decoration: none;
}

.publication-venue a:hover {
  color: #069;
  font-weight: bold;
}

/* === Author Styling === */
.author-self {
  text-decoration: underline;
}

.author-other {
  /* No special styling for other authors */
}

/* === Responsive === */
@media print, screen and (max-width: 960px) {
  .wrapper { width: auto; margin: 0; }
  header, section, footer { float: none; position: static; width: auto; }
  section { border: 1px solid #e5e5e5; border-width: 1px 0; padding: 20px 0; margin: 0 0 20px; }
}

@media print, screen and (max-width: 720px) {
  body { word-wrap: break-word; }
  header { padding: 0; }
  pre, code { word-wrap: normal; }
}

@media print, screen and (max-width: 480px) {
  body { padding: 15px; }
  header ul { width: 99%; }
  header li { width: 33%; }
}

@media print {
  body { padding: 0.4in; font-size: 12pt; color: #444; }
}