Merge branch 'bug/26304' into staging
[WebKit-https.git] / WebCore / css / mediaControlsGtk.css
1 /*
2  * WebKitGTK+ specific overrides for HTML5 media elements.
3  *
4  * Copyright (C) 2009 Zan Dobersek <zandobersek@gmail.com>
5  *
6  * This library is free software; you can redistribute it and/or
7  * modify it under the terms of the GNU Library General Public
8  * License as published by the Free Software Foundation; either
9  * version 2 of the License, or (at your option) any later version.
10  *
11  * This library is distributed in the hope that it will be useful,
12  * but WITHOUT ANY WARRANTY; without even the implied warranty of
13  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
14  * Library General Public License for more details.
15  *
16  * You should have received a copy of the GNU Library General Public License
17  * along with this library; see the file COPYING.LIB.  If not, write to
18  * the Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor,
19  * Boston, MA 02110-1301, USA.
20  *
21  */
22
23 audio {
24     height: 20px;
25     width: 300px;
26 }
27
28 audio::-webkit-media-controls-panel, video::-webkit-media-controls-panel {
29     height: 20px;
30 }
31
32 audio::-webkit-media-controls-mute-button, video::-webkit-media-controls-mute-button {
33     width: 20px;
34     height: 20px;
35 }
36
37 audio::-webkit-media-controls-play-button, video::-webkit-media-controls-play-button {
38     width: 20px;
39     height: 20px;
40 }
41
42 audio::-webkit-media-controls-timeline-container, video::-webkit-media-controls-timeline-container {
43     height: 20px;
44 }
45
46 audio::-webkit-media-controls-timeline, video::-webkit-media-controls-timeline {
47     height: 20px;
48 }
49
50 audio::-webkit-media-controls-seek-back-button, video::-webkit-media-controls-seek-back-button {
51     width: 20px;
52     height: 20px;
53 }
54
55 audio::-webkit-media-controls-seek-forward-button, video::-webkit-media-controls-seek-forward-button {
56     width: 20px;
57     height: 20px;
58 }
59
60 audio::-webkit-media-controls-fullscreen-button, video::-webkit-media-controls-fullscreen-button {
61     width: 20px;
62     height: 20px;
63 }