CodeSnip Old Code (SVN)

/*
 * main.css
 *
 * CSS for CodeSnip file format documentation.
 *
 * $Rev$
 * $Date$
 */

body {
  margin: 1em;
  padding: 0;
  font-family: Verdana, Arial, sans-serif;
  font-size: 9pt;
  line-height: 150%;
}

.title {
  margin: 0 0 1em 0;
  padding: 0.5em;
  border: 1px silver solid;
  background-color: #eee;
  font-size: 16pt;
  font-weight: bold;
  text-align: center;
}
.title .subtitle {
  margin-top: 0.5em;
  font-style: italic;
  color: #336;
}

h1, h2, h3, h4 {
  font-family: Georgia, Garamond, "Times New Roman", Times, serif;
  font-weight: bold;
  color: navy;
  padding: 0;
}
h1 {
  margin: 1.5em 0 0 0;
  padding-bottom: 0.5em;
  border-bottom: 2px silver solid;
  font-size: 18pt;
  font-style: italic;
}
h2 {
  margin: 1em 0 0 0;
  padding-bottom: 0.5em;
  border-bottom: 1px silver solid;
  font-size: 16pt;
  font-style: italic;
}
h3 {
  margin: 0.5em 0 0.5em 0;
  font-size: 14pt;
}
h4 {
  margin: 0.5em 0 0 0;
  font-size: 12pt;
}

p,
div.spaced  {
  margin: 0.5em 0 0 0;
  padding: 0;
}
div.half-spaced {
  margin: 0.25em 0 0 0;
  padding: 0;
}

dl {
  margin: 0.5em 0 0 0;
  padding: 0;
}
dt {
  margin-left: 0;
  margin-top: 0.5em;
}
dd {
  margin: 0.25em 0 0 3em;
}

ul, ol {
  margin: 0.5em 0 0 3em;
  padding: 0;
}
ul {
  list-style-type: square;
}
ul li,
ol li {
  margin-top: 0.5em;
}
ul.squashed,
ol.squashed {
  margin-top: 0;
}
ul.squashed li,
ol.squashed li {
  margin-top: 0;
}
ul.unspaced li,
ol.unspaced li {
  margin-top: 0;
}

code {
  font-family: "Courier New", Courier, monospace;
}

a:link {
  color: #336;
  text-decoration: underline;
}
a:visited {
  color: #669;
  text-decoration: underline;
}
a:active {
  color: #336;
  text-decoration: underline;
}
a:hover {
  text-decoration: underline;
}

.pullout {
  border: 1px silver solid;
  border-left: 8px silver solid;
  background-color: #ddd;
  margin: 0.5em 0 0 0;
  padding: 0.25em 0.5em;
}

p.todo {
  border: 1px #faa solid;
  border-left: 8px #faa solid;
  background-color: #fdd;
  color: red;
  margin: 0.5em 0 0 0;
  padding: 0.25em 0.5em;
}

span.todo {
  background-color: #fdd;
  color: red;
}

acronym {
  color: purple;
  border-bottom: 1px dotted purple;
}

.box {
  border: 1px silver solid;
  padding: 0.5em;
}

.indent {
  margin-left: 3em;
}

.highlight {
  color: #336;
  font-style: italic;
  font-weight: bold;
}