anchor.diff:                      add : true,
                       del : true,
                       search: false,
  -                    addtext:"Add an API server",
  -                    deltext:"Delete an API server"
  +                    addtext:"Add API server",
  +                    deltext:"Delete API server"
                   },
                   {},
                   {
  
positive.code:                 padding-bottom:3px !important;
              }
  
              /* This changes the color of the active pill */
              .nav-pills>li.active>a, .nav-pills>li.active>a:hover, .nav-pills>li.active>a:focus {
                  background-color:#e9e9e9 !important;
  
negative.code:                         edit: false,
                          del: true,
                          search: false,
                          addtext: "Add path",
                          deltext: "Delete path"
                      },
                      {},
                      {
  