line-height: 2ex;
}
-div.clearer {
+.clear {
clear:both;
}
-ul.inside li, ol.inside li {
- left: 1em;
- position: relative;
- padding-right: 1em;
-}
-
#tree {
background-color: #212A30;
line-height: 1.8ex;
padding: 1em 1em 2em 1.5em;
}
-#tree h1.title {
+#tree h1 {
font-size: 1.75em;
margin-bottom: 1em;
font-weight: normal;
list-style-type: none;
}
-#tree h1.title a:hover {
- border-bottom: none;
-}
-
#tree a {
display: inline !important;
font-size: 0.88em;
- /*font-weight: normal;*/
line-height: 2em;
color: #E4E4E4;
border-bottom: 1px solid transparent;
- /*padding-bottom: .1ex;*/
}
#tree a:hover {
padding-bottom: .3ex;
}
-#content h1.clear,
-#content h2.clear,
-#content h3.clear,
-#content h4.clear {
- clear:both;
-}
-
#content h1 {
font-size: 1.8em;
margin: 0 0 2ex 0;
font-weight: bold;
}
-#content table td {
- font-weight: normal;
-}
-
-
#content table th.sub1 {
padding-left: 2em;
}
width: 100%;
}
+#content ul,
+#content ol {
+ overflow: hidden;
+}
+
#content figure {
display: table;
}
#content figcaption.center {
text-align: center;
- caption-side: bottom;
}
#content figcaption.titleover {
display: inline-block;
min-width: 1em;
padding: .2em .3em;
- font: normal .85em/1 "Lucida Grande", Lucida, Arial, sans-serif;
+ font: normal .8em/1 sans-serif;
text-align: center;
text-decoration: none;
border-radius: .3em;
- cursor: default;
background: rgb(250, 250, 250);
- background: -moz-linear-gradient(top, rgb(210, 210, 210), rgb(255, 255, 255));
- background: -webkit-gradient(linear, left top, left bottom, from(rgb(210, 210, 210)), to(rgb(255, 255, 255)));
+ background: linear-gradient(to top, rgb(210, 210, 210), rgb(255, 255, 255));
color: rgb(50, 50, 50);
text-shadow: 0 0 2px rgb(255, 255, 255);
box-shadow: inset 0 0 1px rgb(255, 255, 255), inset 0 0 .4em rgb(200, 200, 200), 0 .1em 0 rgb(130, 130, 130), 0 .11em 0 rgba(0, 0, 0, .4), 0 .1em .11em rgba(0, 0, 0, .9);
kbd.knob,
kbd.button {
background: rgb(174, 174, 217);
- background: -moz-linear-gradient(top, rgb(174, 174, 217), rgb(221, 221, 255));
- background: -webkit-gradient(linear, left top, left bottom, from(rgb(174, 174, 217)), to(rgb(221, 221, 255)));
+ background: linear-gradient(to top, rgb(174, 174, 217), rgb(221, 221, 255));
color:#000044;
}
samp {
font-family:mono;
- font-style:italic;
- color:#333333;
- background-color:transparent;
- margin-left: 1em;
- margin-right: 1em;
-}
-
-samp:before {
- content:"\BB";
-}
-
-samp:after {
- content:"\AB";
+ color:#666666;
+ background-color:#EBEBEB;
+ margin-left: .5em;
+ margin-right: .5em;
}
#content dfn {
}
#content img.mini {
- width:200px;
+ width: 200px;
}
#content img.mini:hover {
width: 100%;
- /*transition: width .5s ease; doesn't work on right-floated figures */
}
#content p.center {