/* indent.css -- Style sheet used for indented body text. */
/* $Id: indent.css 2 2007-10-28 10:00:31Z matt $ */
@import url("common.css");

/* Decrease the size of lower-level headings and slightly indent
   third-level headings. */
h2 { text-align: left }
h3 { font-size: medium; margin-left: 1em }

/* Indent the body text, but not quotes. */
p { margin-left: 2em }
blockquote.quote p { margin-left: 0 }
dl { margin-left: 2em }
ol { margin-left: 2em }
ul { margin-left: 2em }
dl p { margin-left: 0 }
ol p { margin-left: 0 }
ul p { margin-left: 0 }
pre { margin-left: 2em }

/* Additional formatting for the software index. */
table.software { margin-left: 2em; margin-bottom: 1ex }
table.software th { text-align: left }
td.package { width: 9.5em }
p.sections { text-align: center }

/* Additional formatting for software downloads.  This is only used on
   pages where there is more than one table. */
td.program { width: 9.5em }