body {
  font-family: 'PT Sans', sans-serif;
  font-size: 15px;
  text-align: justify;
}

.header {
  font-size: 24px;
  background: #ddd;
  width: 100%;
}

.footer {
  padding: 6px;
  border-top: 1px solid #ddd;
  background-color: #eee;
}

h2 {
  background: #eee;
  border: 1px solid #ddd;
  padding: 3px 8px;
}

h3 {
  background: #f8f8f8;
  border: 1px solid #eee;
  padding: 2px 6px;
}

.logo {
  margin-right: 32px;
}

.logo-rama {
  font-size: 48px;
  font-weight: 900;
  font-family:verdana;
}

.logo-revisited {
  font-size: 12px;
}

.note {
  font-size: 12px;
}

img.selected {
  border: 2px solid red;
}

img.not-selected {
  padding: 2px;
}

center.figure {
  margin-top: 2em;
  margin-bottom: 2em;
}

a {
  text-decoration: none;
}

a:focus {
  outline: none;
  text-decoration: underline;
}

.todo {
  color: red;
}
.todo:before {
  content: "TODO ";
}

/* Pretty printing styles. Used with prettify.js. */
.pln { color: #000 }  /* plain text */
.str { color: #004 }  /* string content */
.kwd { color: #004; font-weight: bold; }  /* a keyword */
.com { color: #004 }  /* a comment */
.typ { color: #004 }  /* a type name */
.lit { color: #066 }  /* a literal value */
.dec, .var { color: #000 }  /* a declaration; a variable name */
.fun { color: #000 }  /* a function name */
/* Put a border around prettyprinted code snippets. */
pre.prettyprint { 
  display: table;
  margin-left: 32px;
  background-color: #FAFAFF;
  border-width: 1px;
  border-style: solid;
  border-color: #CCD;
  padding: 8px;
  font-size: 14px;
}
@media print {
pre.prettyprint { 
  margin-left: 8px;
}
}