/* https://stackoverflow.com/questions/6476351/how-to-use-the-computer-modern-font-in-webpages */
@font-face
{
  font-family: "LM";
  src: url("/sans-serif.otf");
}

@font-face
{
  font-family: "LMM";
  src: url("/ss-math.otf");
}

@font-face
{
  font-family: "LM";
  src: url("/ss-bold.otf");
  font-weight: bold;
}

@font-face
{
  font-family: "LM";
  src: url("/ss-italics.otf");
  font-style: italic;
}

@font-face
{
  font-family: "LM";
  src: url("/ss-bold-italics.otf");
  font-weight: bold;
  font-style: italic;
}

math
{
  font-family: LMM
}
math[display="block"]
{
  margin: 15px 0px 15px 0px;
}

body
{
  font-family: LM;
}
.quad-row
{
    display: flex;
}
button
{
  background-color: #e7e7e7;
  color: black;
  border: #555 solid 2px;
  border-top: none;
  border-left: none;
  font-family: monospace;
}
button.active
{
  background-color: #c7c7c7;
}
button:hover
{
  background-color: #d7d7d7;
}
button a
{
  margin: 0px auto 0px auto;
  color: black;
  font-family: monospace;
}

.quad-right
{
    margin: 10px 10px 10px 10px;
    flex: 80%;
}
.pic-row
{
    display: flex;
}
.pic-left
{
    margin: 10px 10px 10px 10px;
    flex: 50%;
}
.pic-right
{
    margin: 10px 10px 10px 10px;
    flex: 30%;
    outline: 2px dotted blue;
}
.pic-rest
{
    margin: 10px 10px 10px 10px;
    flex: 20%;
    outline: 2px dotted blue;
}
a:link
{
    font-family: monospace;
    color: black;
    text-decoration: none;
    border-bottom: 1px dotted;
}
a:visited
{
    font-family: monospace;
    color: black;
    text-decoration: none;
    border-bottom: 1px dotted;
}
a:hover
{
    font-family: monospace;
    color: hotpink;
}
h1
{
    font-family: LM;
}
span, li, p
{
    font-family: LM;
    font-size: 18px;
}

ilcode
{
    font-family: Courier;
    font-size: 18px;
    padding: 0px 2px 0px 2px;
}

pre
{
    font-family: Courier;
    font-size: 18px;
}

.sidebar
{
    margin: 10px 10px 10px 10px;
    flex: 20%;
}
.sidebar img
{
  width: 100px;
  margin: 25px auto 0px auto;
  display: block;
}
.sidebar a
{
  border: none;
}