doc/etc/madlib_extra.css

/* MADlib CSS customizations */

/* Indent paragraphs in the main text, but not in framed boxes */
div.contents > p, div.contents > pre, div.contents > ul, div.contents > div.fragment, dd {
    margin-left: 20px;
}

/* Increase spacing between titled paragraphs in the main text, but not in
   framed boxes */
div.contents > dl {
    margin-top: 2em;
}

/* Increase spacing between list items in the main text */
div.contents li {
    margin-top: 1em;
}

/* No automtic line wrapping at white spaces in <pre> or \verbatim
   environments. */
pre.fragment {
    word-wrap: normal;
}

/* Distinguish backgrounds for syntax, example commands, and results */
pre.syntax {
        border: 1px solid #999999;
        color: #00004D;
        background-color: #CBD4E7;
        padding: 4px 6px;
        margin: 4px 8px 4px 2px;
        overflow: auto;
        word-wrap: normal;
        font-size:  9pt;
        line-height: 125%;
        font-family: monospace, fixed;
        font-size: 105%;
}

pre.example {
        border: 1px solid #999999;
        background-color: #E8E8E8;
        padding: 4px 6px;
        margin: 4px 8px 4px 2px;
        overflow: auto;
        word-wrap: normal;
        font-size:  9pt;
        line-height: 125%;
        font-family: monospace, fixed;
        font-size: 105%;
}

pre.result {
        border: 1px solid #999999;
        background-color: #FFFFCC;
        padding: 4px 6px;
        margin: 4px 8px 4px 2px;
        overflow: auto;
        word-wrap: normal;
        font-size:  9pt;
        line-height: 125%;
        font-family: monospace, fixed;
        font-size: 105%;
}


/* No padding for paragraph headers (in its infinite wisdom, doxygen uses <dl>
   environments for that) */
dl {
    padding-left: 0;
    margin-top: 1em;
}

/* Increase the font size for paragraph headers */
dt {
    font-size: 120%;
    margin-bottom: 1em;
}

/* The first column should align with normal text. So we cannot use
   border-spacing. */
table.params {
    border-spacing: 0;
}

/* Add some padding instead of border-spacing */
td.paramname {
    padding: 1px 1em 1px 0;
}

/* We move the bar a out of the text frame, so that the text aligns well with
   the rest. Note: margin-left + border-width-left + padding-left = 0 */
/* dl.note, dl.warning, dl.attention, dl.pre, dl.post, dl.invariant, dl.deprecated, dl.todo, dl.test, dl.bug
{
    margin-left: -6px;
    padding-left: 2px;
}
*/

/* Style parameter lists formatted with definition lists. */
dl.arglist {
  margin-left: 40px;
  margin-top: 0px;
}

dl.arglist dt {
  font-size: 100%;
  font-weight: bold;
  color: #00004D;
  margin-bottom: 0px;
}

div.toc {
    background-color: #FFF5B8;
}

/* Increase font size for toc.li from 10px to 14px */
div.toc li {
        font: 14px/1.4 Verdana,DejaVu Sans,Geneva,sans-serif;
        margin-top: 5px;
        padding-left: 10px;
        padding-top: 2px;
}


div.versionlist li.head {
  font: 12px/1.2 Verdana, DejaVu Sans, Geneva, sans-serif;
  display: inline;
  margin-right: 10px;
}

div.versionlist ul {
  display: inline;
  align: right;
}

div.versionlist li {
  font: 10px/1.2 Verdana,DejaVu Sans,Geneva,sans-serif;
  display: inline;
  margin-right: 10px;
}

/* Table style for output table columns and descriptions */
table.output {
  border: 0;
  margin-left: 20px;
}

.output th {
  text-align: right;
  vertical-align: top;
  padding-right: 15px;
  font-weight: normal;
  color: #354C7B;
 }