Chris@0: /**
Chris@0:  * @file
Chris@0:  * Styles for Bartik's buttons.
Chris@0:  */
Chris@0: 
Chris@0: .button {
Chris@18:   display: inline-block;
Chris@18:   padding: 0.25em 1.063em;
Chris@18:   cursor: pointer;
Chris@18:   text-align: center;
Chris@18:   color: #3a3a3a;
Chris@18:   border: 1px solid #e4e4e4;
Chris@18:   border-right-color: #d2d2d2;
Chris@18:   border-bottom-color: #b4b4b4;
Chris@18:   border-left-color: #d2d2d2;
Chris@18:   border-radius: 1em;
Chris@0:   background-color: #fff;
Chris@0:   background-image: -webkit-linear-gradient(top, #f3f3f3, #e8e8e8);
Chris@0:   background-image: linear-gradient(to bottom, #f3f3f3, #e8e8e8);
Chris@0:   font-family: "Lucida Grande", "Lucida Sans Unicode", Verdana, sans-serif;
Chris@0:   font-size: 0.929em;
Chris@0:   font-weight: normal;
Chris@0:   line-height: normal;
Chris@0: }
Chris@0: .button:hover,
Chris@0: .button:active,
Chris@0: .button:focus {
Chris@18:   text-decoration: none;
Chris@18:   color: #5a5a5a;
Chris@0:   background: #dedede;
Chris@0: }
Chris@0: .button.is-disabled:hover,
Chris@0: .button.is-disabled:active,
Chris@0: .button.is-disabled:focus,
Chris@0: .button.is-disabled {
Chris@18:   cursor: default;
Chris@18:   color: #717171;
Chris@18:   border-color: #bbb;
Chris@0:   background: #ededed;
Chris@0: }