+@font-face {
+ font-family: 'junge-regular';
+ src: url('junge-regular-webfont.woff2') format('woff2'),
+ url('junge-regular-webfont.woff') format('woff'),
+ url('junge-regular-webfont.ttf') format('truetype');
+ font-weight: normal;
+ font-style: normal;
+}
+
+body {
+ font-family: 'junge-regular';
+ font-size: 16px;
+ line-height: 2ex;
+}
+
+div.clearer {
+ clear:both;
+}
+
+ul.inside li, ol.inside li {
+ left: 1em;
+ position: relative;
+ padding-right: 1em;
+}
+
#content table.dl th {
/* dl class (definition list) is for 2-columns tables that describe properties:
maximmizes the width of the 2nd (description) column */
#content table.dl th {
/* dl class (definition list) is for 2-columns tables that describe properties:
maximmizes the width of the 2nd (description) column */
-#content dl
-{
- float:none;
- clear:both;
- width:100%;
- margin: 1em 0;
- padding: 0;
- display:inline-block;
-}
-
-#content dl:after {
- content:' ';
- display:block;
- clear:both;
-}
-
-#content dt, #content dd {
- border-top: 2px solid #eee;
- float: left;
- margin: 0;
- padding: 5px;
- font-weight: normal;
-}
-
-#content dt {
- clear: left;
- width: 25%;
-}
-
-#content dd {
- width: 65%;
-}
-
-#content dt.sub1 {
- padding-left: 2em;
-}
-
-#content dt.sub2 {
- padding-left: 4em;
-}
-
-#content dt:first-child,
-#content dd:nth-child(2) {
- border-top: none;
-}
-
-
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: 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: 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: 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)));
- -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);
.mod1:before { content: "Ctrl ";}
.mod2:before { content: "Alt ";}
.mod3:before { content: "Shift ";}
.mod1:before { content: "Ctrl ";}
.mod2:before { content: "Alt ";}
.mod3:before { content: "Shift ";}
-#chapter { padding-top: 1em; padding-left: 1em; }
-#subchapter { padding-left: 4em; }
-#section { padding-left: 6em; }
-#subsection { padding-left: 8em; }
+#content p.chapter,
+#content p.subchapter,
+#content p.section,
+#content p.subsection {
+ line-height:1em;
+}
+#content p.chapter { padding-top: 1em; padding-left: 1em; padding-bottom:1em; }
+#content p.subchapter { padding-left: 4em; }
+#content p.section { padding-left: 6em; }
+#content p.subsection { padding-left: 8em; }
-.container { position:relative; border: none;}
-.hoverimg { position: absolute; border: none; }
-.hoverimg:hover{ z-index:100; box-shadow: 0 0 5px 5px lightgreen; }
+.container { position: relative; border: none; }
+.hoverimg { position: absolute; border: none; }
+.hoverimg:hover{ z-index:100; box-shadow: 0 0 .2em .2em lightgreen; }