Minor PDF tweaks: indent the TOC

[ardour-manual] / source / css / common.css

diff --git a/source/css/common.css b/source/css/common.css
index d3cce7876d5f44afdd91c505a9479f13aafa647c..2900e043692fea6a36ee3cd3472838b4e79bca5c 100644 (file)
--- a/source/css/common.css
+++ b/source/css/common.css
@@ -1,15 +1,6 @@
-@font-face {
-    font-family: 'junge-regular';
-    src: 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;
+  line-height: normal;
 }
 
 kbd {
@@ -17,90 +8,80 @@ kbd {
   min-width: 1em;
   padding: .2em .3em;
   font: normal .8em/1 sans-serif;
-  text-align: center;
   text-decoration: none;
   border-radius: .3em;
-  background: rgb(250, 250, 250);
+  background: rgb(210, 210, 210);
   background: linear-gradient(to top, rgb(210, 210, 210), rgb(255, 255, 255));
-  color:  rgb(50, 50, 50);
-  white-space:nowrap;
-  text-transform:capitalize;
+  color: rgb(50, 50, 50);
+  white-space: nowrap;
+  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.def {
-  font-weight:bolder;
-       margin-right:.2em;
+  font-weight: bolder;
+  margin-right: .2em;
 }
 
 kbd.input,
 kbd.cmd,
 kbd.osc {
-  font-family:mono;
-  border-width:0;
-  text-transform:none;
+  font-family: mono;
+  border-width: 0;
+  text-transform: none;
 }
 
 kbd.input {
-  background:none;
+  background: none;
   border-radius: 0;
 }
 
 kbd.cmd {
-  display:block;
-  width:100%;
-  margin-bottom:1ex;
-  text-transform:none;
+  display: block;
+  width: 100%;
+  margin-bottom: 1ex;
+  text-transform: none;
   background: rgb(220, 220, 220);
-  text-align:left;
+  text-align: left;
+  color: #999999;
+  text-shadow: none;
+  box-shadow: none;
 }
 
 kbd.cmd.lin:before {
   content: 'user@linux:~ ';
-  color:#999999;
 }
 
 kbd.cmd.mac:before {
   content: 'MacBook:~/Desktop User\$ ';
-  color:#999999;
 }
 
 kbd.cmd.win:before {
   content: 'C:\\Users\\myAccount> ';
-  color:#999999;
 }
 
-kbd.optoff,
-kbd.option {
-  border:none;
-  background:none;
+kbd.menu,
+kbd.option,
+kbd.optoff {
+  border-radius: 0;
+  background: rgb(240, 240, 240);
+  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);
 }
 
 kbd.optoff:before {
-  content:url('/images/checkbox-unchecked.png');
-  margin: 0 1em 0 0;
-  vertical-align:middle;
+  content: '\2610\00a0';
 }
 
 kbd.option:before {
-  content:url('/images/checkbox-checked.png');
-  margin: 0 1em 0 0;
-  vertical-align:middle;
-}
-
-kbd.menu {
-  border:none;
-  background:none;
-  font-weight:bold;
-  font-stretch:extra-condensed;
-  white-space:normal;
+  content: '\2611\00a0';
 }
 
 kbd.osc {
-  border:none;
+  border: none;
   background: rgb(208, 208, 243);
-  font-stretch:extra-condensed;
+  font-stretch: extra-condensed;
   white-space: nowrap;
-  text-align:left;
+  text-align: left;
 }
 
 kbd.fader,
@@ -108,7 +89,7 @@ kbd.knob,
 kbd.button {
   background: rgb(174, 174, 217);
   background: linear-gradient(to top, rgb(174, 174, 217), rgb(221, 221, 255));
-  color:#000044;
+  color: #000044;
 }
 
 kbd.fader {
@@ -116,23 +97,23 @@ kbd.fader {
 }
 
 kbd.knob {
-  border-radius:12px;
+  border-radius: 12px;
   border-width: 1px 1px 9px 9px;
 }
 
 kbd.button {
-  border-radius:8px;
+  border-radius: 8px;
   border-width: 1px 1px 3px 3px;
 }
 
 kbd.mouse {
-  border-radius:10px;
+  border-radius: 10px;
 }
 
 samp {
-  font-family:mono;
-  color:#666666;
-  background-color:#EBEBEB;
+  font-family: mono;
+  color: #666666;
+  background-color: #EBEBEB;
   margin-left: .5em;
   margin-right: .5em;
 }
@@ -143,8 +124,7 @@ samp {
 }
 
 .note,
-.warning,
-.fixme {
+.warning {
   min-height: 1.5ex;
   padding: 1em;
   margin-bottom: 1em;
@@ -168,18 +148,9 @@ code {
 }
 
 .fixme {
-  border-color: #999944;
-  background-color: #f0f0e0;
-  font-weight:bold;
+  display: none;
 }
 
-.fixme:before {
-  content:'FIXME: ';
-  font-style: italic;
-  font-size:2em;
-}
-
-
 /* Keyboard modifiers */
 .mod1:before {        content: "Ctrl ";}
 .mod2:before {        content: "Alt ";}
@@ -189,7 +160,7 @@ code {
 .mod13:before {       content: "Ctrl Shift ";}
 .mod14:before {       content: "Ctrl Win ";}
 .mod23:before {       content: "Alt Shift ";}
-.mod123:before {       content: "Ctrl Alt Shift ";}
+.mod123:before {      content: "Ctrl Alt Shift ";}
 .kp:before {          content: "Keypad ";}
 /* Variants *without* space after them (yes, these are needed!) */
 .mod1n:before {       content: "Ctrl";}
@@ -200,7 +171,7 @@ code {
 .mod13n:before {      content: "Ctrl Shift";}
 .mod14n:before {      content: "Ctrl Win";}
 .mod23n:before {      content: "Alt Shift";}
-.mod123n:before {       content: "Ctrl Alt Shift";}
+.mod123n:before {     content: "Ctrl Alt Shift";}
 /* Automagic translation for Mac based display */
 .mac .mod1:before {   content: "Cmd ";}
 .mac .mod2:before {   content: "Ctrl ";}
@@ -210,7 +181,7 @@ code {
 .mac .mod13:before {  content: "Cmd Shift ";}
 .mac .mod14:before {  content: "Cmd Opt ";}
 .mac .mod23:before {  content: "Ctrl Shift ";}
-.mac .mod123:before {  content: "Cmd Ctrl Shift ";}
+.mac .mod123:before { content: "Cmd Ctrl Shift ";}
 /* No space variants (Mac based) */
 .mac .mod1n:before {  content: "Cmd";}
 .mac .mod2n:before {  content: "Ctrl";}
@@ -220,8 +191,5 @@ code {
 .mac .mod13n:before { content: "Cmd Shift";}
 .mac .mod14n:before { content: "Cmd Opt";}
 .mac .mod23n:before { content: "Ctrl Shift";}
-.mac .mod123n:before { content: "Cmd Ctrl Shift";}
+.mac .mod123n:before {content: "Cmd Ctrl Shift";}
 
-/* for images sliced in divs, as in http://manual.ardour.org/ardours-interface/about/ */
-.container { position: relative; border: none; }
-.hoverimg { position: absolute; border: none; }