-.inner12 { padding: $lineheight/2 $lineheight;}
-
-.inner11 { padding: $lineheight/2;}
-
-.inner20 { padding: $lineheight 0;}
-
-.inner02 { padding: 0 $lineheight;}
-
-/* Utility for general button styles */
-
-input[type="button"],
-input[type="submit"],
-input[type="reset"],
-a.button {
- cursor: pointer;
- border: 0;
- display: inline-block;
- padding: $lineheight/4 $lineheight/2;
- min-height: 20px + $lineheight/2;
- min-width: 120px;
- margin: 0 0 $lineheight/2 0;
- color: white;
- background: $blue;
- text-align: center;
- border-radius: 2px;
- &:hover {
- background: darken($blue, $hovercolor);
- text-decoration: none;
- }
- &.deemphasize {
- background: $lightblue;
- &:hover {
- background: darken($lightblue, $hovercolor);
- }
- }
- &:disabled {
- background: $lightgrey;
- &:hover {
- background: $lightgrey;
- }
- }
- &:last-child {
- margin-bottom: 0;
- }
-}
-
-input[type="button"],
-input[type="submit"],
-input[type="reset"] {
- line-height: normal;
-}
-
-a.button {
- line-height: 20px;
-}
-
-.buttons {
- min-width: 200px;
- input[type="submit"],
- input[type="button"],
- input[type="reset"],
- .button,
- .button_to {
- box-sizing: border-box;
- float: left;
- border-radius: 0;
- margin:0;
- min-width: 75px;
- max-width: 180px;
- border-right:1px solid white;
- text-overflow: ellipsis;
- white-space: nowrap;
- overflow: hidden;
- }
- input:first-child,
- .button:first-child,
- .button_to:first-child {
- border-radius:2px 0 0 2px;
- }
- input:last-child,
- .button:last-child,
- .button_to:last-child {
- border-radius:0 2px 2px 0;
- border-right-width: 0;
- }
- input:only-child,
- .button:only-child,
- .button_to:only-child,
- *[value="Hide"] + input:last-child,
- *[value="Hide"] + .button:last-child,
- *[value="Hide"] + .button_to:last-child {
- border-radius:2px;
- border-right-width: 0;
- }
- /* if a 3-button set has a hidden middle button */
- *[value="Hide"] + input:nth-child(3),
- *[value="Hide"] + .button:nth-child(3),
- *[value="Hide"] + .button_to:nth-child(3) {
- border-radius:0 2px 2px 0;
- border-right-width: 0;