body
{
  background-color:#ffffff;
}

@font-face {
  font-family: 'Felipa';
  font-style: normal;
  font-weight: 400;
  src: local('Felipa'), local('Felipa-Regular'), url(http://themes.googleusercontent.com/static/fonts/felipa/v1/CGA4sfSyBqMA9-nMl4k29-vvDin1pK8aKteLpeZ5c0A.ttf) format('truetype');
}

h1 {font-family: 'Felipa';
  color:#0020C2; 
  font-weight:normal;
  text-align: center;}
h2 {font-family: 'Felipa';
  color:#0020C2;}
h3 {font-family: 'Felipa';
  color:#0020C2;}
h4 {font-family: 'Felipa';
  color:#0020C2;}
  
div.theorem {
  background-color:#ffe9cd;
  border:1px solid #000000;
  height:auto;
  width:auto;
  padding:5px;
}

div.theorem p {
  font-weight:normal;
  padding:4px;
  border:0px solid #000000;
  margin:1px;
}

div.theorem h1 {
  font-family: 'Felipa';
  color:#0020C2; 
  font-weight:normal;
  text-align: center;
  border:0px solid #000000;
  margin:5px;
  padding:5px;
}
div.theorem h2 {
  font-family: 'Felipa';
  color:#0020C2;
}
div.theorem h3 {
  font-family: 'Felipa';
  color:#0020C2;
}
div.theorem h4 {
  font-family: 'Felipa';
  color:#0020C2;
}

div.title {
  font-family: 'Felipa';
  color:#0020C2; 
  font-size:200%;
  font-weight:normal;
  text-align: center;
  border:0px solid #000000;
  margin:5px;
  padding:5px;
}

div.statement {
  text-align:center;
  font-weight:normal;
  font-style:italic;
  font-size:120%;
  border:0px solid #000000;
  margin:5px;
  padding:5px;
}

div.just {
  text-align:right;
  float:right;
  font-weight:normal;
  font-size:75%;
  border:0px solid #000000;
  width:70px;
  margin:4px;
  padding:2px;
}

div.ldiagram {
  float:left;
  border:0px solid #000000;
  margin:5px;
}

div.ldiagram {
  ;
  border:0px solid #000000;
  margin:5px;
}

div.rdiagram {
  float:right;
  border:0px solid #000000;
  margin:5px;
}

div.qed {
  text-align:right;
  font-size:75%;
  border:0px solid #000000;
  margin:0px;
}

/* a.hover to hide a link until the mouse is over it */
  a.hover:link {text-decoration:none;}    /* unvisited link */
  a.hover:visited {text-decoration:none;} /* visited link */
  a.hover:hover {text-decoration:underline;}   /* mouse over link */
  a.hover:active {text-decoration:underline;}  /* selected link */
  
div.twocolumn
{
  -moz-column-count:2; /* Firefox */
  -webkit-column-count:2; /* Safari and Chrome */
  column-count:2;
}

  
div.threecolumn
{
  -moz-column-count:3; /* Firefox */
  -webkit-column-count:3; /* Safari and Chrome */
  column-count:3;
}