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

commiting public release
author Daniel Wolff
date Tue, 09 Feb 2016 21:05:06 +0100
parents
children
comparison
equal deleted inserted replaced
-1:000000000000 0:718306e29690
1 /* h1.title { background: #ddd; color: black; padding: 0.2em; } */
2 ul.navbar-nav { padding:0px }
3 h1.title { background: none; color: black; text-align: left }
4 div.navhdr { margin-bottom:1em; border: solid #eee 1px; background-color: #f8f8f8; border-radius:1ex}
5 /* div.navhdr span.search-in { border: none; padding:3px} */
6 /* div.navhdr span.search-match { border: none; border-left: solid 1px #ddd; padding:2px} */
7 div.navhdr div.search-options { margin-top: 4px; }
8 div.navhdr div.search-options input { -webkit-transform: scale(1); top: 0px; margin-left:1ex; }
9 div.navhdr div.search-options input:first-child { margin-left:0ex; }
10 div.navhdr div.jump input:first-child { margin-right:1ex }
11 div.search-options { font-size:80% }
12 div.navhdr div.search-options span { border:none; padding:3px; border-left: solid 1px #eee }
13 div.navhdr input#for { margin-right: 1ex; width: 30ex }
14 div.navhdr form#search-form { margin-bottom: 0px }
15
16 div.navtree {
17 overflow-x: visible;
18 white-space: nowrap;
19 margin-left: 0em;
20 margin-right: 1em;
21 float: left;
22 width: 14em;
23 border: none;
24 background-color:transparent;
25 z-index:2;
26 }
27
28 /* div.navtree:hover { z-index:2; } */
29
30 div.navwindow {
31 background-color:#f8f8f8;
32 width:14em;
33 padding:1ex 0ex;
34 overflow-x: hidden;
35 white-space: nowrap;
36 z-index:3;
37 transition-duration: 0.1s;
38 transition-delay: 0.1s;
39 border-radius:1ex
40 }
41
42 div.navwindow:hover {
43 width:36em;
44 overflow-x: auto;
45 transition-duration: 0.25s;
46 transition-delay: 0.3s;
47 }
48
49 /* div.navwindow { border: none; box-shadow: 4px 4px 6px 2px rgba(0,0,0,0.4) inset } */
50 /* div.navwindow:hover { box-shadow: 4px 4px 6px 2px rgba(0,0,0,0.4) inset; } */
51 /* div.navwindow:hover { box-shadow: 4px 4px 6px 2px rgba(0,0,0,0.4); } */
52 div.navwindow:hover { box-shadow: none }
53 div.navwindow { border: 1px solid #eee; }
54 /* div.navwindow:hover { box-shadow: 4px 4px 8px 3px rgba(0,0,0,0.4); } */
55
56 div.navwindow li.nav {margin-bottom: 0em; line-height:1.1em; margin-top:0em}
57 div.navwindow ul.nav {margin-bottom: 0em; line-height:1.1em}
58 div.navwindow li.nav a { background-color:transparent}
59 div.navwindow li.nav a:hover { text-decoration:none}
60 div.navcontent { margin-right: 0px; margin-left:15em; padding:0px; background-color:transparent;z-index:1}
61 pre.code { border: 1px solid #ddd }
62
63 div.navcontent > div.abstract { background-color:#f8f8f8; border:1px solid #eee }
64
65 var { color:inherit }
66 dd.defbody { margin-bottom: 2em; margin-top: 1em }
67 /* dt.pubdef, dt.multidef, dt.privdef, dt.undoc, h2.undoc { */
68 /* background-color: transparent; */
69 /* color: black; */
70 /* padding: 0px; */
71 /* border-top: 4px solid #4c7dae */
72 /* } */
73 dt.pubdef, dt.multidef, dt.privdef, dt.undoc {
74 color: white;
75 padding-top: 2px;
76 padding-bottom: 0px;
77 padding-left: 4px;
78 padding-right: 4px;
79 margin-bottom: 0ex;
80 }
81 dt.multidef { background-color: #806060 }
82 dt.pubdef { background-color: #606060 }
83 dt.privdef { background-color: #a0a0a0 }
84 dt.undoc { background-color: #803030 }
85 dl>dt.pubdef { background-color: #606060 }
86 dl>dt.multidef { background-color: #806060 }
87 dt>code { background-color:inherit; padding:0px; border:none }
88 h2.undoc, h2.wiki { background-color: transparent; color: black; padding:0ex; }
89 h3.wiki, h4.wiki { background-color: transparent; color: black; padding:0ex; }
90 dt a { color: inherit }
91 dt a:hover { color: inherit; border-bottom: solid 1px currentColor }
92 h1.file, h1.module, h1.directory, h1.dir, h1.wiki { background: black; padding-left:0.5ex; padding-right:0.5ex }
93 table.summary th { background-color: black }
94 dl.tags { font-size:100% }
95 table.frame-box { border-color:transparent }
96 table.wiki { margin-left:auto; margin-right:auto; width:95%; border-color:black }
97 table.summary th.category { background-color:#722; color:#e99 }
98 table.summary th.section { background-color:#888; color:#000 }
99 tr.public { padding:0px; background-color:transparent; color:black }
100 tr.private { padding:0px; background-color:transparent; color:black }
101 tr.private > td { padding:4px 10px 4px 0px }
102 tr.public > td { padding:4px 10px 4px 0px }
103 tr.private > td:first-child { padding-left:10px }
104 tr.public > td:first-child { padding-left:10px }
105 table.summary td > a { color:#800; font-weight:bold }
106 table.summary td > a:hover { color:#a00 }
107 table.summary tr.private > td > a { color:#800; font-weight:normal }
108 table.summary tr.private > td > a:hover { color:#a00 }
109 img.action { max-width:none; padding:0px; vertical-align:text-top; height:0.85em}
110 li.nav.current > a { color:inherit }