anchor.diff:  ul.mainteneur { font-size:90%; margin:0.2em 0.5em; }
   .database_machines li { margin:4px auto; }
   .machine-details { font-size:90%; display:inline-block; background-color:#eee; color:#335;
  -                   padding:1px 6px; margin:0 6px; border:1px solid #ccd;
  -                   -moz-border-radius:10px; -webkit-border-radius:10px; border-radius:10px; }
  +                   padding:1px 6px; margin:0 6px; border:1px solid #ccd; @include border-radius(10px); }
   .machine_ipaddresses ul.collection { text-align:left; margin-left:0; font-weight:bold; font-size:90%; }
   #machine_general th.machine_name, #application_general th.application_name { text-transform:uppercase; font-size:150%; }
   #machine_name, #application_name { font-size:150%; font-weight:bold; }
  
positive.code:     position:absolute; right:0; top:0; height:13px; padding:6px 10px 6px 12px; border-left:1px solid #e9edf9;
      background:url(<%= asset_path 'context_back-up.png' %>) 100% -6px no-repeat; cursor:pointer;
      .toggle { display:block; height:13px; line-height:13px; padding-right:15px; font-weight:/*bold*/normal; color:#00b; cursor:pointer; }
      ul { display:none; margin:0; position:absolute; top:25px; right:-1px; background:#fff; border:1px solid #ccc; border-top:none; z-index:10; box-shadow:0 1px 5px #bbb; }
      ul li { margin:0; padding:0; display:block; }
      ul li:first-child { margin-top:4px; }
      ul li.current { position:relative; display:block; padding:0.4em 0.5em; cursor:default; }
  
negative.code: .has-opaques:hover .opaque { opacity:1; }
  input[type="submit"] {
    padding:3px 10px; display:inline-block;
    @include box-shadow(inset 0px 1px, 0px, 0px, #fff);
    @include border-radius(3px);
    background:-webkit-gradient( linear, left top, left bottom, color-stop(0.05, #f7f7f7), color-stop(1, #efefef) );
    background:-moz-linear-gradient( center top, #f7f7f7 5%, #efefef 100% );
    color:#333; background-color:#f7f7f7; border:1px solid #cfcfcf;
    font-family:arial; font-size:13px; font-weight:bold;
    text-decoration:none !important; text-shadow:1px 1px 0px #fff;
  }
  