/* Place your CSS styles in this file */

/*
h1 {
    text-align: center;
    font-family: "Source Sans Pro", sans-serif;
    font-weight: normal;
}
*/

body {
  background-color:#f0f0f0;
  margin:0;
  font-family:'Roboto', Arial, sans-serif;
}

main {
  max-width:min(90%, 760px);
  margin:auto;
  /* background-color:white; */
  background-color:rgba(255, 255, 255, 0.801);
}

footer {
  max-width:min(90%, 720px);
  padding:10px;
  padding-top: 0;
  margin:auto;
  margin-top:0;
  box-sizing:border-box;
}

article {
  max-width: 720px;
  margin:auto;
  padding:10px;
  box-sizing:border-box;
}

h1 {
  font-size:20px;
}

h2 {
  font-size:16px;
}

.indent {
  border:1px solid #e0e0e0;
  padding:15px;
  margin-bottom:10px;
}
.indent p:first-child {
  margin-top:0;
}
.indent p:last-child {
  margin-bottom:0;
}

li:not(:last-child) {
  margin-bottom:10px;
}

.expository {
  display:grid;
  align-items:center;
  grid-template-columns: auto;
  gap:10px;
  margin-bottom:10px;
}

.expository p:not(:last-child) {
  padding-bottom:20px;
  border-bottom:1px solid #e0e0e0;
}

@media(min-width:500px) {
  .expository {
    grid-template-columns: auto auto;
  }
  
  .expository p:not(:last-child) {
    padding-bottom:initial;
    border-bottom:initial;
  }
}

.expository > a {
  font-size:0;
  text-decoration:none;
}

.expository img {
  border:1px solid #e0e0e0;
  width:300px;
  box-sizing:border-box;
}

.expository iframe {
  width:300px;
  height:200px;
}

.emoji-img {
  width:300px;
  height:200px;
  display:grid;
  border:1px solid #e0e0e0;
  box-sizing:border-box;
  align-content:center;
  text-align:center;
  font-size:120px;
  padding-bottom:12px;
}

mjx-container {
  overflow-x: auto;
}

summary {
  margin-bottom:10px;
  cursor:pointer;
  list-style:none;
}

summary::-webkit-details-marker {
  display:none;
}

summary::before {
  content: '[+]';
  font-family:monospace;
  font-size:16px;
  vertical-align:top;
  margin-right:5px;
}

details[open] summary::before {
  content: '[-]';
}

hr {
  border-top:none;
  border-left:none;
  border-right:none;
  border-bottom:1px solid #e0e0e0;
  margin-top:20px;
  margin-bottom:20px;
}

article > hr:last-child {
  display:none;
}

.paper-list {
  padding-left:25px;
}

.paper-list > li {
  list-style-type:disc;
  padding-left:10px;
}

.paper-list > li:not(:last-child) {
  margin-bottom:20px;
}

.paper-list > li:last-child {
  margin-bottom:20px;
}

img.center {
  display: block;
  margin-left: auto;
  margin-right: auto;
  width: 100%;
}