diff -r 000000000000 -r 4f2f89ce4247 WebCore/css/mediaControlsGtk.css --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/WebCore/css/mediaControlsGtk.css Fri Sep 17 09:02:29 2010 +0300 @@ -0,0 +1,65 @@ +/* + * WebKitGTK+ specific overrides for HTML5 media elements. + * + * Copyright (C) 2009 Zan Dobersek + * + * This library is free software; you can redistribute it and/or + * modify it under the terms of the GNU Library General Public + * License as published by the Free Software Foundation; either + * version 2 of the License, or (at your option) any later version. + * + * This library is distributed in the hope that it will be useful, + * but WITHOUT ANY WARRANTY; without even the implied warranty of + * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU + * Library General Public License for more details. + * + * You should have received a copy of the GNU Library General Public License + * along with this library; see the file COPYING.LIB. If not, write to + * the Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor, + * Boston, MA 02110-1301, USA. + * + */ + +audio { + height: 20px; + width: 300px; +} + +audio::-webkit-media-controls-panel, video::-webkit-media-controls-panel { + height: 20px; +} + +audio::-webkit-media-controls-mute-button, video::-webkit-media-controls-mute-button { + width: 20px; + height: 20px; +} + +audio::-webkit-media-controls-play-button, video::-webkit-media-controls-play-button { + width: 20px; + height: 20px; +} + +audio::-webkit-media-controls-timeline-container, video::-webkit-media-controls-timeline-container { + height: 20px; + border-left: 1px solid rgba(255, 255, 255, 0.2); + border-right: 1px solid rgba(255, 255, 255, 0.2); +} + +audio::-webkit-media-controls-timeline, video::-webkit-media-controls-timeline { + height: 20px; +} + +audio::-webkit-media-controls-seek-back-button, video::-webkit-media-controls-seek-back-button { + width: 20px; + height: 20px; +} + +audio::-webkit-media-controls-seek-forward-button, video::-webkit-media-controls-seek-forward-button { + width: 20px; + height: 20px; +} + +audio::-webkit-media-controls-fullscreen-button, video::-webkit-media-controls-fullscreen-button { + width: 20px; + height: 20px; +}