/* General stlying */

@font-face {
  font-family: "Crimson Pro";
  src: url("/fonts/CrimsonPro-Regular.ttf") format("truetype");
  font-weight: regular;
  font-style: regular;
}

@font-face {
  font-family: "Crimson Pro";
  src: url("/fonts/CrimsonPro-Italic.ttf") format("truetype");
  font-weight: regular;
  font-style: italic;
}

@font-face {
  font-family: "Crimson Pro";
  src: url("/fonts/CrimsonPro-Bold.ttf") format("truetype");
  font-weight: bold;
  font-style: regular;
}

@font-face {
  font-family: "Crimson Pro";
  src: url("/fonts/CrimsonPro-BoldItalic.ttf") format("truetype");
  font-weight: bold;
  font-style: italic;
}

html {
  font-family: "Crimson Pro", sans-serif;
  font-size: 20px;
}

.katex {
  font-size: 1em !important;
  /*with Crimson it works better for KaTeX to use same size font, not 1.21 times bigger*/
}


:root {
  --flexoki-black:       #100F0F;
  --flexoki-paper:       #FFFCF0;

  --flexoki-950:         #1C1B1A;
  --flexoki-900:         #282726;
  --flexoki-850:         #343331;
  --flexoki-800:         #403E3C;
  --flexoki-700:         #575653;
  --flexoki-600:         #6F6E69;
  --flexoki-500:         #878580;
  --flexoki-300:         #B7B5AC;
  --flexoki-200:         #CECDC3;
  --flexoki-150:         #DAD8CE;
  --flexoki-100:         #E6E4D9;
  --flexoki-50:          #F2F0E5;

  --flexoki-red-600:     #AF3029;
  --flexoki-red-400:     #D14D41;

  --flexoki-orange-600:  #BC5215;
  --flexoki-orange-400:  #DA702C;

  --flexoki-yellow-900:  #4D3A0B;
  --flexoki-yellow-600:  #AD8301;
  --flexoki-yellow-400:  #D0A215;
  --flexoki-yellow-100:  #FCEEB8;

  --flexoki-green-600:   #66800B;
  --flexoki-green-400:   #879A39;

  --flexoki-cyan-950:    #142625;
  --flexoki-cyan-600:    #24837B;
  --flexoki-cyan-400:    #3AA99F;
  --flexoki-cyan-50:     #EBF2E7;

  --flexoki-blue-600:    #205EA6;
  --flexoki-blue-400:    #4385BE;

  --flexoki-purple-600:  #5E409D;
  --flexoki-purple-400:  #8B7EC8;

  --flexoki-magenta-600: #A02F6F;
  --flexoki-magenta-400: #CE5D97;

  --sidebar-width: 240px;
  --body-width: 940px;
}

body {
  width: var(--body-width);
  background-color: var(--flexoki-paper);
  color: var(--flexoki-black);
}

div.content {
  /*to allow for navbar*/
  margin-left: var(--sidebar-width);
  padding: 1px 16px;
}

div.sidebar {

  width: var(--sidebar-width);
  background-color: var(--flexoki-200);
  height: 100%; 
  position: fixed; 
  overflow: auto; 

  nav {
    all: inherit;

    ul {
      margin: 0;
      padding: 0;
      list-style-type: none;
    }

    li a.button {
      display: block;
      color: var(--flexoki-red-600);
      padding: 8px 16px;
      text-decoration: none;
    }

    li a.active {
      background-color: var(--flexoki-red-600);
      color: var(--flexoki-50);
    }

    li a:hover:not(.active) {
      background-color: var(--flexoki-red-600);
      color: var(--flexoki-50);
    }

  }
}




dl.papers {
  dt {
    font-weight: bold;
    /*font-style: italic;*/
  }
  dd.authors {
  }

  dd.citation {
  }

  dd.abstract {
  }

}

span.journal {
  font-style: italic;
  color: var(--flexoki-red-600);
}

span.talk_location {
  font-weight: bold;
}

span.talk_title {
  font-style: italic;
}

span.talk_event {
}


a {
  color: var(--flexoki-green-600);
  text-decoration: none;
}

/* List attributes */

dt {
  font-weight: bold;
}

dd {
  margin-bottom: 1rem;
}