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)));
.mod1:before { content: "Ctrl ";}
.mod2:before { content: "Alt ";}
.mod3:before { content: "Shift ";}
.mod1:before { content: "Ctrl ";}
.mod2:before { content: "Alt ";}
.mod3:before { content: "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; }
/* for images sliced in divs, as in http://manual.ardour.org/ardours-interface/about/ */
.container { position:relative; border: none;}
.hoverimg { position: absolute; border: none; }