/*
//  record.css
//
//  Created by David Rowe on 5 Apr 2017.
//  Copyright 2017 High Fidelity, Inc.
//
//  Distributed under the Apache License, Version 2.0.
//  See the accompanying file LICENSE or http://www.apache.org/licenses/LICENSE-2.0.html
*/

.hidden {
    display: none;
}

input[type=button].red.pressed {
    background: linear-gradient(#94132e, #94132e);
}