/*
body {
  width: 634px;
  margin: auto;
}
*/


img.illustration {
  float: right;
  margin-left: 20px;
}

img.math {
  float: none;
}

img.figure {
  display: block;
  float: none;
  margin-left: auto;
  margin-right: auto;
}

p {
  text-align: justify;
}

/*
h1 {
  text-align: center;
  font-size: 25pt;
  font-family: verdana, arial, helvetica, sans-serif;
}

h3 {
  text-align: center;
  font-size: 13pt;
  font-family: verdana, arial, helvetica, sans-serif;
  padding-bottom: 15px;
  border-bottom: 1px solid black;
  margin-bottom: 0;
  font-weight: normal;
}

h2 {
  color: #9c112e;
  font-size: 15pt;
  font-weight: normal;
  font-family: verdana, arial, helvetica, sans-serif;
}

.sample {
  width: 50%;
  float: left;
}

.source {
  border-top: 1px solid black;
  clear: left;
  font-size: 12px;
  text-align: right;
  margin-bottom: 10px;
}

table {
  border-collapse: collapse;
  border: 1px solid black;
  margin-left: auto;
  margin-right: auto;
}

td, th {
  padding: 0 5px;
  border-left: 1px solid black;
}

th {
  background: #b2b3b5;
  border: 1px solid black;
}
*/

table.bordertable {
  border-collapse: collapse;
  border: 1px solid black;
  margin-left: auto;
  margin-right: auto;
}

.bordertable td, .bordertable th {
  padding: 2px 5px;
  border: 1px solid black;
}


table.array {
  border: 0;
}

.array td{
  border: 0;
  padding-left: 10pt;
  padding-right: 10pt;
}

ul.nobullet {
  list-style-type: none;
}