From 4bc02188f12c1eb9e272be4cbeeb2f70092cfc46 Mon Sep 17 00:00:00 2001
From: Manuel Quiñones <manuq@laptop.org>
Date: Thu, 11 Apr 2013 19:58:16 +0000
Subject: Partial fix to style the Embedded media player - SL #3933 #4465

The only way to do this in webkitgtk1 is to inject CSS using
WebKit.WebView.execute_script:

http://webkitgtk.org/reference/webkitgtk/stable/webkitgtk-webkitwebview.html#webkit-web-view-execute-script

The new CSS rules do:

- set page background white
- set player background dark grey, same as Sugar toolbar
- set player text white
- set buttons size to the same size as Sugar toolbar buttons

This commit doesn't change the size of the icons inside the buttons,
which is too small.  Ongoing investigation in the #4465 ticket, it
looks like it should be an upstream fix.

Signed-off-by: Manuel Quiñones <manuq@laptop.org>
---
(limited to 'securitydialogs.py')

--
cgit v0.9.1