2010-12-24 Carlos Garcia Campos <cgarcia@igalia.com>
[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     border-left: 1px solid rgba(255, 255, 255, 0.2);
45     border-right: 1px solid rgba(255, 255, 255, 0.2);
46 }
47
48 audio::-webkit-media-controls-timeline, video::-webkit-media-controls-timeline {
49     height: 20px;
50 }
51
52 audio::-webkit-media-controls-current-time-display, video::-webkit-media-controls-current-time-display {
53     -webkit-appearance: media-current-time-display;
54     -webkit-user-select: none;
55     display: inline-block;
56     height: 20px;
57
58     padding: 5px;
59
60     text-align: center;
61     font-size: 10px;
62 }
63
64 audio::-webkit-media-controls-seek-back-button, video::-webkit-media-controls-seek-back-button {
65     width: 20px;
66     height: 20px;
67 }
68
69 audio::-webkit-media-controls-seek-forward-button, video::-webkit-media-controls-seek-forward-button {
70     width: 20px;
71     height: 20px;
72 }
73
74 audio::-webkit-media-controls-fullscreen-button, video::-webkit-media-controls-fullscreen-button {
75     width: 20px;
76     height: 20px;
77 }