body { font-family: 'DejaVu Sans', 'Bitstream Vera Sans', sans-serif;
       margin: auto;
       margin-top: 3ex;
       max-width: 65em;
       padding: 0;
       background: white; }

pre, tt, code { font-family: 'DejaVu Sans Mono', 'Bitstream Vera Sans Mono', mono; }

body.trac { max-width: 65em; }

.listing {
     font: normal 13px Verdana,Arial,'Bitstream Vera Sans';
}

.invisible { display: none; }

div#content { /* margin-left: 15em; */
              margin-bottom: 0;
              margin-top: 1ex;
              padding: 0ex 2em 4ex 2em;
              /* border-left: 1px dotted gray; */
              min-height: 55ex;
              background: white; }

div#sidebar, div#_mainnav, div#_metanav {
    text-align: center;
    margin: 1.2ex 1em 2ex 1em;
    padding: 4px;
    margin: 1px solid black;
    background: #202020;
    /* border: 1px dotted gray; */
}

div#_mainnav {
    text-align: left;
    padding-left: 1em;
    margin-top: -1.3ex;
    background: #A0A0A0;
}

div#_metanav {
    margin-top: -1.3ex;
    text-align: left;
    background: #E0E0E0;
}

#sidebar h2 { display: inline; }

blockquote {
    font-size: 125%;
    /* font-family: 'DejaVu Sans Light', 'Bitstream Vera Light', sans-serif; */
    font-weight: lighter;
    background: #E0E0E0;
    padding: 2ex 3em;
    margin: 2em;
    text-align: justify;
}

blockquote strong { color: purple; }
blockquote ul { margin-bottom: 0; }

.divine { color: purple; font-size: 130%; font-weight: normal; }

#sidebar a, #mainnav a {
    text-decoration: none;
    margin: 4px;
    font-size: 80%;
    font-weight: normal;
    text-align: left;
    padding-left: 10px;
    padding-right: 10px;
    height: 18px;
}

#metanav a { text-decoration: none; }
#mainnav, #metanav, #ctxtnav, #ctxtnav ul { display: inline; }
#metanav span { margin-left: 1em; font-size: small; }
#mainnav{ float: right; }
#_metanav #ctxtnav { float: right; }

h1 #trac { color: darkred; }
#ctxtnav { display:inline; text-align: right; margin-right: .8em; }
#ctxtnav > h2 { display: none; }
#ctxtnav li {
    display: inline;
    padding-left: 1em;
    font-size: small;
}
#ctxtnav ul { margin-top: 0; }
#ctxtnav hr { display: none; }


#sidebar a:link, #sidebar a:visited, #sidebar a:active {
    color: #E0E0E0;
}

#mainnav a:link, #mainnav a:visited, #mainnav a:active,
#_metanav a:link, #_metanav a:visited, #_metanav a:active {
    color: #703535;
}

#mainnav a:hover { color: purple; text-decoration: none; }
#metanav a:hover { color: purple; text-decoration: none; }
#sidebar a:hover { color: pink; }

.noarchivedate span.archivedate { display: none; }

.trac div#header {
    /* background-image: url('trac-logo.png'); */
}

table.hydra td { padding-left: 1em; text-align: center; border-bottom: 1px dotted gray; }
table.hydra td.job { padding-left: 1em; text-align: right; font-weight: bold; }
table.hydra .wide { width: 23em; }
a.good:link, a.good:visited { color: green; }
a.build:link, a.build:visited { color: red; }
a.deps:link, a.deps:visited { color: #808000; }
a.aborted:link, a.aborted:visited { color: #A0A000; }
a.tests:link, a.tests:visited { color: purple; }

#changes h2 { font-size: 110%; margin-top: .8ex; margin-bottom: .4ex; font-weight: normal; }
#changes dl { margin-top: .3ex; margin-bottom: .3ex; margin-left: 1em; }

div#footer { padding: .5ex;
             padding-bottom: .8ex;
             padding-left: 1em;
             background: #202020;
             text-align: center;
             font-size: small;
             font-weight: bold;
             color: white;
             margin: 0;
             margin-top: 1ex;
             margin-bottom: 1ex; }

#header { background: white;
          padding: .5ex;
          text-align: center;
          /* background-image: url('divine-logo.png');
          background-repeat: no-repeat;
          background-position: right top; */
          /* border-bottom: solid 1px black; */
          padding-top: 2.5ex;
          margin: 0; }

#header h1 { font-weight: bold;
             color: purple;
             display: inline;
             font-size: 4ex;
             margin: 0;
             margin-right: .2em; }

#header h2 { font-weight: normal;
             display: inline;
             font-size: 3.5ex;
             border: 0 none;
             color: #202020; }

a:link, a:visited, a:active { text-decoration: none; color: darkred; }
a:link:hover, a:visited:hover, a:active:hover { text-decoration: none; color: darkblue; }

#content > h1 { font-weight: bold;
                font-size: 130%;
                text-align: left;
                background: white;
                padding-left: 0; padding-top: 0;
                margin-top: 3ex;
                margin-bottom: 1.2ex;
                /* border-left: 15px solid darkred; */
                /* border-right: 12em solid #A08080; */
                z-index: 2;
                color: black; }

#content > h2,
#content > h3 { font-size: 115%;
                font-style: regular;
                /* border-left: 15px solid darkred; */
                font-weight: bold;
                padding-left: 0; }
#content > h3 { /* border-left: 15px solid #505050; */ font-size: 100%; }

#content > h1 a, #content > h2 a, #content > h3 a { color: black; }
#content > h1 a:hover, #content > h2 a:hover, #content > h3 a { text-decoration: none; }

strong { font-weight: bold; }

b {
    font-weight: bold;
}

p {
    text-align: justify;
    /* padding: 0.3ex; */
    padding-top: 0.3ex;
    padding-bottom: 0.6ex;
    /* padding-left: 1.2em; */
    margin: 0;
}

ul {
    margin-top: .2ex;
}


pre { text-align: left;
      border-left: 1px dotted black;
      padding: 1.5ex;
      padding-bottom: 1ex;
      margin: .8ex 1em .8ex 2em;
}

.note, .pageinfo { font-size: 83%;
                   color: gray;
                   padding-top: .5ex; padding-left: 0.8em; }

.note a:link, .note a:visited, .note a:active { color: black; }


.disabled h2 { color: grey; }
.disabled h3 { border-color: grey; }
.disabled a { color: grey; }
.disabled { color:grey; }

div#actions { display: inline; }

#actions ul {
        display: inline;
        font-size: 83%;
        color: gray;
	padding-left: 0.8em;

        margin: 0;
	margin-top: -2.5ex;
        padding: 6px;
        list-style-type: none;
        /* border-bottom: 1px solid #000; */
}

#actions li {
        display: inline;
	padding: 0;
	margin: 0;
	margin-left: .1em;
	padding-left: .4em;
	/* border-left: 1px grey solid; */
}

.feedbutton { float: right; }

.inlinetitle .pageinfo { margin-left: 2em; font-size: 100%; }

@media print {
        a {
                text-decoration: underline;
        }
        body {
                background-color: transparent;
        }
        #sidebar, #footer {
                display: none;
        }
        div#content {
                width: 100%;
                margin: 0;
                padding: 0;
                border-style: none;
        }
        div#header {
                border-style: none;
        }
        #header h1, #header h2 {
                font-size: 1.2em;
        }
}

@media handheld, ( max-width: 42em ), ( max-device-width: 42em ) {
    blockquote {
        font-size: 110%;
        padding: .8ex 1em;
        margin: 0ex;
    }
    pre {
        padding: 1ex;
        padding-bottom: .8ex;
        margin: 0em;
    }
}

@media ( max-width: 38em ), ( max-device-width: 38em ) {
    #sidebar a, #mainnav a { margin: 0px; }
}

@media ( max-width: 25em ), ( max-device-width: 25em ) {
    div#content {
        padding: 0ex 1em 2ex 1em;
    }
}

/* TRAC specific stuff follows */

/* Styles for tabular listings such as those used for displaying directory
   contents and report results. */
table.listing {
 border-bottom: 1px solid #d7d7d7;
 border-collapse: collapse;
 border-spacing: 0;
 margin-top: 1em;
 width: 100%;
}
table.listing th { text-align: left; padding: 0 1em .1em 0; font-size: 12px }
table.listing thead { background: #f7f7f0 }
table.listing thead th {
 border: 1px solid #d7d7d7;
 border-bottom-color: #999;
 font-size: 11px;
 font-weight: bold;
 padding: 2px .5em;
 vertical-align: bottom;
}
table.listing thead th :link:hover, table.listing thead th :visited:hover {
 background-color: transparent;
}
table.listing thead th a { border: none; padding-right: 12px }
table.listing th.asc a, table.listing th.desc a { font-weight: bold }
table.listing th.asc a, table.listing th.desc a {
 background-position: 100% 50%;
 background-repeat: no-repeat;
}
table.listing th.asc a { background-image: url(../asc.png) }
table.listing th.desc a { background-image: url(../desc.png) }
table.listing tbody td, table.listing tbody th {
 border: 1px dotted #ddd;
 padding: .3em .5em;
 vertical-align: top;
}
table.listing tbody td a:hover, table.listing tbody th a:hover {
 background-color: transparent;
}
table.listing tbody tr { border-top: 1px solid #ddd }
table.listing tbody tr.even { background-color: #fcfcfc }
table.listing tbody tr.odd { background-color: #f7f7f7 }
table.listing tbody tr:hover { background: #eed !important }
table.listing tbody tr.focus { background: #ddf !important }

#help {
 clear: both;
 color: #999;
 font-size: 90%;
 margin: 1em;
 text-align: right;
}

/* Page preferences form */
#prefs {
 background: white;
 /* border: 1px solid #998; */
 float: right;
 font-size: 9px;
 padding: .8em;
 position: relative;
 margin: 0 1em 1em;
}
* html #prefs { width: 26em } /* Set width only for IE */
#prefs input, #prefs select { font-size: 9px; vertical-align: middle }
#prefs fieldset {
 background: transparent;
 border: none;
 margin: .5em;
 padding: 0;
}
#prefs fieldset legend {
 background: transparent;
 color: #000;
 font-size: 9px;
 font-weight: normal;
 margin: 0 0 0 -1.5em;
 padding: 0;
}
#prefs .buttons { text-align: right }

.milestone .info dl { clear: none !important; }
#ticket table.properties { clear: none !important; }
#preview { clear: none !important; }
h1 .pathentry { float: none !important; }
#jumprev, #jumploc { float: none !important; }
#tabs { clear: none !important; float: none !important; position: absolute; }

/* pandoc syntax */
td.lineNumbers { solid #AAAAAA; text-align: right; color: #AAAAAA; width: 2em; }
td.lineNumbers pre { border: none; text-align: right; padding: 0; margin: 2px; padding-top: .8ex; }
table.sourceCode { width: 100%; }
td.sourceCode { padding-left: 0; }
td.sourceCode pre { margin: 0 ; }
code.sourceCode span.kw { color: #007020; font-weight: bold; }
code.sourceCode span.dt { color: #902000; }
code.sourceCode span.dv { color: #40a070; }
code.sourceCode span.bn { color: #40a070; }
code.sourceCode span.fl { color: #40a070; }
code.sourceCode span.ch { color: #4070a0; }
code.sourceCode span.st { color: #4070a0; }
code.sourceCode span.co { color: #60a0b0; font-style: italic; }
code.sourceCode span.ot { color: #007020; }
code.sourceCode span.al { color: red; font-weight: bold; }
code.sourceCode span.fu { color: #06287e; }
code.sourceCode span.re { }
code.sourceCode span.er { color: red; font-weight: bold; }

* { box-shadow: none !important; }
