p { margin-top: 3px; margin-bottom: 1px; text-align: justify;}
blockquote {
  font-size: 90%;
  margin-top: 7px;
  margin-bottom: 7px;
  margin-left: 12px;
  padding-left: 15px;
  border-left: 3px solid aqua;
}

code, pre.example {font-family: DejaVu Sans Mono, monospace; line-height: 100%;}

.no-bullets {
  list-style-type: none; /* Remove bullets */
  padding: 0; /* Remove padding */
  margin: 0; /* Remove margins */
}

section[id="sec-title-slide"] {font-size: 150%;}
.TS {font-family: Impact, Arial Black;font-size: 180%;}
div[id="table-of-contents"] {font-size: 70%;}

.org-center>p {text-align: center;}