/*
 * CINI - Base styles
 * Dependency-free, safe for legacy pages.
 */

body {
  padding: 20px;
  font-size: 14px;
  color: #000000;
  font-family: Arial, Helvetica, sans-serif;
}

h2 {
  font-weight: bold;
  color: #000099;
  margin: 10px 0;
}

p span {
  color: #006600;
  font-weight: bold;
}

a, a:link, a:visited {
  color: #0000FF;
}

textarea {
  width: 100%;
  padding: 10px;
  margin: 10px 0 15px 0;
  font-size: 13px;
  font-family: Consolas, monospace;
}

textarea.html {
  height: 300px;
}

p {
  margin: 0 0 10px 0;
}

code, pre {
  font-family: Consolas, monospace;
  color: green;
}

ol li {
  margin: 0 0 15px 0;
}

/* Utility */
.cini-clear { clear: both; }