CSS Change History

gistfile1.css

html { font-size: 100%; /* IE hack */ }

body {
  /* IE5/Win */
  text-align:center;
  padding-top: 30px;
  font-size: 0.75em;
}

/* Title font. */ 
h1, h2, h3, h4, h5, h6,
div.title, caption.title,
thead, p.table.header,
#toctitle,
#author, #revnumber, #revdate, #revremark,
#footer {
  font-family: Helvetica, Arial, sans-serif;
}

/* Percent span layout with auto-centering */
.article {
  margin: 0 auto;
  width: 70%;
  text-align: left;
  font-size: 1.2em;
  font-family: Georgia, Times, serif;
}

.article p {
  line-height: 1.5em;
  padding-bottom: 0.2em;
}

h1 {
  font-size: 2em;  /* displayed at 24px */
  padding-bottom: 0.8em;
} 
h2 {
  font-size: 1.5em; /* displayed at 18px */
  padding-bottom: 0.5em;
}  
h3 {
  font-size: 1.25em; /* displayed at 15px */
  padding-bottom: 0.3em;
}  
h4 {
  font-size: 1em; /* displayed at 12px */
  padding-bottom: 0.3em;
}

ul {
  padding-bottom: 0.5em;
  line-height: 1.5em;
  text-indent: 5px;
  list-style-position: inside;
  list-style-type: square;
}