Slight improvements to the CSS, simplification

diff --git a/source/css/app.css b/source/css/app.css
index 41093e92eced9f178cbbd899e677a722e0a1f1fa..28741c50ebb472f8ceaa13aad57e3acc1b2cf50d 100644 (file)
--- a/source/css/app.css
+++ b/source/css/app.css
@@ -204,14 +204,12 @@ kbd {
   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);
@@ -301,8 +299,7 @@ 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)));
+  background: linear-gradient(to top, rgb(174, 174, 217), rgb(221, 221, 255));
   color:#000044;
 }
 
@@ -326,19 +323,10 @@ kbd.mouse {
 
 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";
+  color:#666666;
+  background-color:#EBEBEB;
+  margin-left: .5em;
+  margin-right: .5em;
 }
 
 #content dfn {
@@ -352,7 +340,6 @@ samp:after {
 
 #content img.mini:hover {
   width: 100%;
-  /*transition: width .5s ease; doesn't work on right-floated figures */
 }
 
 #content p.center {