Daniel@0: /* h1.title { background: #ddd; color: black; padding: 0.2em; } */
Daniel@0: ul.navbar-nav { padding:0px }
Daniel@0: h1.title { background: none; color: black; text-align: left }
Daniel@0: div.navhdr { margin-bottom:1em; border: solid #eee 1px; background-color: #f8f8f8; border-radius:1ex}
Daniel@0: /* div.navhdr span.search-in { border: none; padding:3px} */
Daniel@0: /* div.navhdr span.search-match { border: none; border-left: solid 1px #ddd; padding:2px} */
Daniel@0: div.navhdr div.search-options { margin-top: 4px; }
Daniel@0: div.navhdr div.search-options input { -webkit-transform: scale(1); top: 0px; margin-left:1ex; }
Daniel@0: div.navhdr div.search-options input:first-child { margin-left:0ex; }
Daniel@0: div.navhdr div.jump input:first-child { margin-right:1ex }
Daniel@0: div.search-options { font-size:80% }
Daniel@0: div.navhdr div.search-options span { border:none; padding:3px; border-left: solid 1px #eee }
Daniel@0: div.navhdr input#for { margin-right: 1ex; width: 30ex }
Daniel@0: div.navhdr form#search-form { margin-bottom: 0px }
Daniel@0: 
Daniel@0: div.navtree { 
Daniel@0:    overflow-x: visible;
Daniel@0:    white-space: nowrap;
Daniel@0:    margin-left: 0em; 
Daniel@0:    margin-right: 1em;
Daniel@0:    float: left;
Daniel@0:    width: 14em; 
Daniel@0:    border: none; 
Daniel@0:    background-color:transparent;
Daniel@0:    z-index:2;
Daniel@0: }
Daniel@0: 
Daniel@0: /* div.navtree:hover { z-index:2; } */
Daniel@0: 
Daniel@0: div.navwindow { 
Daniel@0:    background-color:#f8f8f8; 
Daniel@0:    width:14em;
Daniel@0:    padding:1ex 0ex;
Daniel@0:    overflow-x: hidden;
Daniel@0:    white-space: nowrap;
Daniel@0:    z-index:3;
Daniel@0:    transition-duration: 0.1s;
Daniel@0:    transition-delay: 0.1s;
Daniel@0: 	border-radius:1ex
Daniel@0: }
Daniel@0: 
Daniel@0: div.navwindow:hover {
Daniel@0:    width:36em;
Daniel@0:    overflow-x: auto;
Daniel@0:    transition-duration: 0.25s;
Daniel@0:    transition-delay: 0.3s;
Daniel@0: }
Daniel@0: 
Daniel@0: /* div.navwindow { border: none; box-shadow: 4px 4px 6px 2px rgba(0,0,0,0.4) inset } */
Daniel@0: /* div.navwindow:hover { box-shadow: 4px 4px 6px 2px rgba(0,0,0,0.4) inset; } */
Daniel@0: /* div.navwindow:hover { box-shadow: 4px 4px 6px 2px rgba(0,0,0,0.4); } */
Daniel@0: div.navwindow:hover { box-shadow: none }
Daniel@0: div.navwindow { border: 1px solid #eee; }
Daniel@0: /* div.navwindow:hover { box-shadow: 4px 4px 8px 3px rgba(0,0,0,0.4); } */
Daniel@0: 
Daniel@0: div.navwindow li.nav {margin-bottom: 0em; line-height:1.1em; margin-top:0em}
Daniel@0: div.navwindow ul.nav {margin-bottom: 0em; line-height:1.1em}
Daniel@0: div.navwindow li.nav a { background-color:transparent} 
Daniel@0: div.navwindow li.nav a:hover { text-decoration:none} 
Daniel@0: div.navcontent { margin-right: 0px; margin-left:15em; padding:0px; background-color:transparent;z-index:1}
Daniel@0: pre.code { border: 1px solid #ddd }
Daniel@0: 
Daniel@0: div.navcontent > div.abstract { background-color:#f8f8f8; border:1px solid #eee }
Daniel@0: 
Daniel@0: var { color:inherit }
Daniel@0: dd.defbody { margin-bottom: 2em; margin-top: 1em }
Daniel@0: /* dt.pubdef, dt.multidef, dt.privdef, dt.undoc, h2.undoc { */ 
Daniel@0: /*    background-color: transparent; */ 
Daniel@0: /*    color: black; */ 
Daniel@0: /*    padding: 0px; */
Daniel@0: /*    border-top: 4px solid #4c7dae */
Daniel@0: /* } */
Daniel@0: dt.pubdef, dt.multidef, dt.privdef, dt.undoc { 
Daniel@0:    color: white; 
Daniel@0:    padding-top: 2px;
Daniel@0:    padding-bottom: 0px;
Daniel@0:    padding-left: 4px;
Daniel@0:    padding-right: 4px;
Daniel@0:    margin-bottom: 0ex;
Daniel@0: }
Daniel@0: dt.multidef { background-color: #806060 }
Daniel@0: dt.pubdef { background-color: #606060 }
Daniel@0: dt.privdef { background-color: #a0a0a0 }
Daniel@0: dt.undoc { background-color: #803030 }
Daniel@0: dl>dt.pubdef { background-color: #606060 }
Daniel@0: dl>dt.multidef { background-color: #806060 }
Daniel@0: dt>code { background-color:inherit; padding:0px; border:none }
Daniel@0: h2.undoc, h2.wiki { background-color: transparent; color: black; padding:0ex; }
Daniel@0: h3.wiki, h4.wiki { background-color: transparent; color: black; padding:0ex; }
Daniel@0: dt a { color: inherit }
Daniel@0: dt a:hover { color: inherit; border-bottom: solid 1px currentColor }
Daniel@0: h1.file, h1.module, h1.directory, h1.dir, h1.wiki { background: black; padding-left:0.5ex; padding-right:0.5ex }
Daniel@0: table.summary th { background-color: black }
Daniel@0: dl.tags { font-size:100% }
Daniel@0: table.frame-box { border-color:transparent }
Daniel@0: table.wiki { margin-left:auto; margin-right:auto; width:95%; border-color:black }
Daniel@0: table.summary th.category { background-color:#722; color:#e99 }
Daniel@0: table.summary th.section { background-color:#888; color:#000 }
Daniel@0: tr.public { padding:0px; background-color:transparent; color:black }
Daniel@0: tr.private { padding:0px; background-color:transparent; color:black }
Daniel@0: tr.private > td { padding:4px 10px 4px 0px }
Daniel@0: tr.public > td { padding:4px 10px 4px 0px }
Daniel@0: tr.private > td:first-child { padding-left:10px }
Daniel@0: tr.public > td:first-child { padding-left:10px }
Daniel@0: table.summary td > a { color:#800; font-weight:bold }
Daniel@0: table.summary td > a:hover { color:#a00 }
Daniel@0: table.summary tr.private > td > a { color:#800; font-weight:normal }
Daniel@0: table.summary tr.private > td > a:hover { color:#a00 }
Daniel@0: img.action { max-width:none; padding:0px; vertical-align:text-top; height:0.85em}
Daniel@0: li.nav.current > a { color:inherit }