diff cpack/dml/web/css/minimal_doc.css @ 0:718306e29690 tip

commiting public release

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