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 {
#tree .active > a {
display: inline;
- color: #da0808;
- border-bottom: 1px solid #FFF;
+ color: #FF8080;
}
#content {
line-height: 2em;
}
-#content-main {
- padding-top: 1ex;
- padding-left: .5em;
-}
-
#content h1,
#content h2,
#content h3,
padding-bottom: .3ex;
}
-#content h1.clear,
-#content h2.clear,
-#content h3.clear,
-#content h4.clear {
- clear:both;
-}
-
-#content h1.title {
+#content h1 {
font-size: 1.8em;
margin: 0 0 2ex 0;
padding-bottom: .8ex;
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";
-}
-
-#subtopics ul {
- font-weight:bold;
+ color:#666666;
+ background-color:#EBEBEB;
+ margin-left: .5em;
+ margin-right: .5em;
}
#content dfn {
font-style: normal;
}
-#content img.right {
- margin: 0 0 1em 1em;
- float:right;
- clear:right;
-}
-
-#content img.left {
- margin:0 1em 1em 0;
- float:left;
- clear:left;
-}
-
-#content img.center {
- display: block;
- margin:1em auto 1em auto;
- clear: both;
-}
-
#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 {
margin-bottom: 1em;
border-style: solid;
border-width: 1px 1px 1px 8px;
- -webkit-border-radius: 4px;
- -moz-border-radius: 4px;
- border-radius: 4px;
- -webkit-box-shadow: inset 0 1px 1px rgba(0, 0, 0, 0.05);
- -moz-box-shadow: inset 0 1px 1px rgba(0, 0, 0, 0.05);
- box-shadow: inset 0 1px 1px rgba(0, 0, 0, 0.05);
}
#content code {