.container { max-width: 60rem; margin: 0 auto; background-color: #F8FCFF; }

h1 { text-align: center; }
h2 { text-align: center; }
h3 { text-align: center; }

img { display: block; margin-left: auto; margin-right: auto; }
div .figure { display: block; margin-left: auto; margin-right: auto; max-width: 95%; text-align: center; }
div .caption { display: block; margin-left: auto; margin-right: auto; max-width: 80%; text-align: center; font-size: small; } 

details { background-color: #FCF8FF; border: 1px solid #202020; padding: 10px; }
summary { font-weight: bold; }

div .definition { background-color: #FFFCF8; border: 1px solid #202020; padding: 8px; margin-left: auto; margin-right: auto; width: 95%; }
div .theorem    { background-color: #FFF8FC; border: 1px solid #202020; padding: 8px; margin-left: auto; margin-right: auto; width: 95%; }
div .proof      { background-color: #F8FFFC; border: 1px solid #202020; padding: 8px; margin-left: auto; margin-right: auto; width: 95%; }

table {
  border-collapse: collapse;
  margin-left: auto;
  margin-right: auto;
}

th, td {
  border: 1px solid black;
  padding: 10px;
  text-align: left;
}

th {
  background-color: #f0f0f0;
}

pre { background-color: #FFFFFF; padding: 8px; }

code .literal {color: red;}
code .comment {color: green; font-style: italic;}
code .keyword {font-weight: bold;}
code .funcdef {color: blue; font-weight: bold;}
code .funcall {color: blue;}

