#prop_info {
  width: 950px;
  background-color: #fcfcfc;
  border: 5px solid #efefef;
  margin: 0 auto;
  padding: 20px;
}
.markdown {
  font-family: "Lucida Grande", Helvetica, Arial, sans-serif;
  font-size: 12pt;
  line-height: 1.33em;
}
.markdown h1, .markdown h2, .markdown h3,
.markdown h4, .markdown h5, .markdown h6 {
  font-weight: bold;
  line-height: 1.75em;
}
.markdown h1 { font-size: 28pt; }
.markdown h2 { font-size: 18pt; }
.markdown h3 { font-size: 14pt; }
.markdown h4 { font-size: 12pt; }
.markdown h5 { font-size: 12pt; }
.markdown h6 { font-size: 12pt; }

.markdown p,
.markdown ol,
.markdown ul,
.markdown pre {
  margin-bottom: 1em;
}
.markdown ol,
.markdown ul {
  padding-left: 1.5em;
}
.markdown ul {
  list-style-type: disc;
}
.markdown ol {
  list-style-type: decimal;
}

.markdown a {
  color: blue;
}
.markdown pre {
  font-family: monospace;
  font-size: inherit;
  line-height: inherit;
}
.markdown em {
  font-style: normal;
  color: red;
}

table.markdown {
  width: 100%;
}
.markdown thead td {
  font-weight: bold;
  font-size: 14pt;  
  color: #333;
}
.markdown .header td {
  text-align: center;
  font-weight: bold;
  color: #c10200;
}
.markdown .whole {
  text-align: center;
  font-style: italic;
  color: gray;
}
.markdown tbody td {
  background-color: #fcfcfc;
  color: #555;
  border-bottom: 1px solid #ddd;
  padding: 5px;
}