/** Text formatting and styling **/

body {
  font-family: Palatino;
  font-size: 125%;
  color: #505050;
  /* background-color: #f5f5f5; */
  background-color: white ;
  margin: 0 0 0 0;
  padding-left: 10px;
  padding-right: 10px; 
}

div#main {
  margin-left: auto;
  margin-right: auto;
  max-width: 35em;
}


div#main-content {
  line-height: 1.2 ;
}


.series-name {
  font-weight: bold ;
}

.booktitle {
  font-style: italic ;
}


.my-authorship {
  font-weight: bold; 
}

.bib-note {
  font-style: italic ;
}



blockquote {
  /* background: #f9f9f9; */
  border-left: 10px solid #ccc;
  margin: 1.5em 10px;
  padding: 0.5em 30px;
  quotes: "\201C""\201D""\2018""\2019";
}

blockquote cite {
   margin-left: 60px;
}

blockquote:before {
  color: #ccc;
  /* content: open-quote; */
  font-size: 4em;
  line-height: 0.1em;
  margin-right: 0.25em;
  vertical-align: -0.4em;
}

blockquote p {
 /*  display: inline; */
}


h2 {
  margin-top: 40px;
}


h3 {
  margin-top: 40px;
}


li {
  margin-top: 10px; 
}



a:link {
  text-decoration: none;
  color: blue; 
}

a:visited {
  text-decoration: none;
  color: blue; 
}

a:hover {
  text-decoration: underline;
}

a:active {
  text-decoration: underline;
}



.bmimage {
  margin-left: 10%;
  width: 80%;
}

img.abstract-image {
  margin-left: 10%;
  width: 80%; 
}

img.content-image {
  margin-left: 10%;
  width: 80%; 
}




pre {
  margin-left: 2em;
  margin-right: 2em;
}




/** Site navigation bar **/

/* Have the navbar switch from horizontal to vertical
   when the screen contracts in width. */
div#navbar {
  overflow: hidden;

  padding-top: 1em;
  font-weight: bold; 
  font-variant: small-caps;
  width: 40em;
}

div#navbar .navbar-item {
  float: left ;
  display: block ;
  padding-right: 10px; 
}


div#navbar .navbar-item:not(:last-child):after {
  content: ' | ' ;
}



@media screen and (max-width: 767px) {

  div#navbar .navbar-item {
    float: none ;
    width: 100% ;
  }

  div#main {
    width: 100%;
  }


  div#navbar .navbar-item:not(:last-child):after {
    content: '' ;
  }

}





/** Light mode / dark mode **/


/*

@media (prefers-color-scheme: dark) {
    body {
        background-color: #202020;
        color: #f0f0f0;
    }

    a:link {
     text-decoration: none;
     color: #3d78e6;
    }

    a:visited {
     text-decoration: none;
     color: #3d78e6;
   }

}

*/




/** Very wide desktop-only directives **/
@media screen and (min-width: 1920px) {

  div#main-meta-info {
    /* to float on top left: */
    position: fixed; 
    top: 0; 
    left: 0;
    padding-left: 20px; 
  }

  div#navbar {
    position: fixed;
    top: 0;
    background-color: #f5f5f5 ;
    padding-bottom: 1em; 
    border-bottom: 1px solid;

    padding-top: 1em; 
    padding-bottom: 1em;

    
  }
 
  div#main-content-start {
    display: block;
    height: 2em;
  }

  :target:before {
      content: "";
      display: block;
      height: 3em;
      margin: -3em 0 0;
  }
 
}