+@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;
+}
+
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)));
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);
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)));
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.fader, kbd.knob, kbd.button {
- border-color:#ccccff #aaaadd #8888bb #bbbbee;
- background-color:#ddddff;
- color:#000044;
+kbd.fader,
+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)));
+ color:#000044;
-#content .note,.warning,.fixme {
- min-height: 20px;
- padding: 19px;
- margin-bottom: 20px;
- 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 .note,
+#content .warning,
+#content .fixme {
+ min-height: 1.5ex;
+ padding: 1em;
+ 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);
+}
-
-.mod1:before {
- content: "Ctrl ";
-}
-.mod2:before {
- content: "Alt ";
-}
-.mod3:before {
- content: "Shift ";
-}
-.mod4:before {
- content: "Win ";
-}
-.mod12:before {
- content: "Ctrl Alt ";
-}
-.mod13:before {
- content: "Ctrl Shift ";
-}
-.mod14:before {
- content: "Ctrl Win ";
-}
-.mod23:before {
- content: "Alt Shift ";
-}
-.kp:before {
- content: "Keypad ";
-}
-
+.mod1:before { content: "Ctrl ";}
+.mod2:before { content: "Alt ";}
+.mod3:before { content: "Shift ";}
+.mod4:before { content: "Win ";}
+.mod12:before { content: "Ctrl Alt ";}
+.mod13:before { content: "Ctrl Shift ";}
+.mod14:before { content: "Ctrl Win ";}
+.mod23:before { content: "Alt Shift ";}
+.kp:before { content: "Keypad ";}
-
-.mod1n:before {
- content: "Ctrl";
-}
-.mod2n:before {
- content: "Alt";
-}
-.mod3n:before {
- content: "Shift";
-}
-.mod4n:before {
- content: "Win";
-}
-.mod12n:before {
- content: "Ctrl Alt";
-}
-.mod13n:before {
- content: "Ctrl Shift";
-}
-.mod14n:before {
- content: "Ctrl Win";
-}
-.mod23n:before {
- content: "Alt Shift";
-}
-
-
+.mod1n:before { content: "Ctrl";}
+.mod2n:before { content: "Alt";}
+.mod3n:before { content: "Shift";}
+.mod4n:before { content: "Win";}
+.mod12n:before { content: "Ctrl Alt";}
+.mod13n:before { content: "Ctrl Shift";}
+.mod14n:before { content: "Ctrl Win";}
+.mod23n:before { content: "Alt Shift";}
-
-.mac .mod1:before {
- content: "Cmd ";
-}
-.mac .mod2:before {
- content: "Ctrl ";
-}
-.mac .mod3:before {
- content: "Shift ";
-}
-.mac .mod4:before {
- content: "Opt ";
-}
-.mac .mod12:before {
- content: "Cmd Ctrl ";
-}
-.mac .mod13:before {
- content: "Cmd Shift ";
-}
-.mac .mod14:before {
- content: "Cmd Opt ";
-}
-.mac .mod23:before {
- content: "Ctrl Shift ";
-}
-
+.mac .mod1:before { content: "Cmd ";}
+.mac .mod2:before { content: "Ctrl ";}
+.mac .mod3:before { content: "Shift ";}
+.mac .mod4:before { content: "Opt ";}
+.mac .mod12:before { content: "Cmd Ctrl ";}
+.mac .mod13:before { content: "Cmd Shift ";}
+.mac .mod14:before { content: "Cmd Opt ";}
+.mac .mod23:before { content: "Ctrl Shift ";}
-
-.mac .mod1n:before {
- content: "Cmd";
-}
-.mac .mod2n:before {
- content: "Ctrl";
-}
-.mac .mod3n:before {
- content: "Shift";
-}
-.mac .mod4n:before {
- content: "Opt";
-}
-.mac .mod12n:before {
- content: "Cmd Ctrl";
-}
-.mac .mod13n:before {
- content: "Cmd Shift";
-}
-.mac .mod14n:before {
- content: "Cmd Opt";
-}
-.mac .mod23n:before {
- content: "Ctrl Shift";
-}
-
-
-#gs_tti0 {
-
- padding-top: 2px;
- padding-bottom: 0;
-
-}
+.mac .mod1n:before { content: "Cmd";}
+.mac .mod2n:before { content: "Ctrl";}
+.mac .mod3n:before { content: "Shift";}
+.mac .mod4n:before { content: "Opt";}
+.mac .mod12n:before { content: "Cmd Ctrl";}
+.mac .mod13n:before { content: "Cmd Shift";}
+.mac .mod14n:before { content: "Cmd Opt";}
+.mac .mod23n:before { content: "Ctrl Shift";}
#chapter { padding-top: 1em; padding-left: 1em; }
#subchapter { padding-left: 4em; }
#section { padding-left: 6em; }
#subsection { padding-left: 8em; }
#chapter { padding-top: 1em; padding-left: 1em; }
#subchapter { padding-left: 4em; }
#section { padding-left: 6em; }
#subsection { padding-left: 8em; }
-#content table.alternate{ border-collapse:collapse; }
-.alternate td{ padding:7px; border:#4e95f4 1px solid; }
-.alternate tr{ background: #b8d1f3; }
-.alternate tr:nth-child(odd){ background: #b8d1f3; }
-.alternate tr:nth-child(even){ background: #dae5f4; }
-
-.container { position:relative; border: none;}
-.hoverimg { position: absolute; border: none; }
-.hoverimg:hover{ z-index:100; box-shadow: 0 0 5px 5px lightgreen; }
+/* for images sliced in divs, as in http://manual.ardour.org/ardours-interface/about/ */
+.container { position: relative; border: none; }
+.hoverimg { position: absolute; border: none; }
+.hoverimg:hover{ z-index:100; box-shadow: 0 0 .2em .2em lightgreen; }