← Back to branch summary

~ubuntu-branches/ubuntu/maverick/webdeveloper/maverick-proposed

« back to all changes in this revision

Viewing changes to source/content_common/webdeveloper/options/options.css

  • Committer: Bazaar Package Importer
  • Author(s): Luca Falavigna
  • Date: 2009-01-04 12:25:00 UTC
  • mfrom: (1.1.5 upstream)
  • Revision ID: james.westby@ubuntu.com-20090104122500-agtub7j8tfr3s09t
Tags: 1.1.6+repack-1ubuntu1
* Merge from Debian experimental, remaining Ubuntu changes:
  + debian/control:
    - Build firefox-webdeveloper and adjust it for Firefox.
    - Do not conflict/replaces with firefox-developer.
    - Add Vcs-Bzr header.
  + debian/rules:
    - Adjust makebuilddir to build firefox-webdeveloper package.
  + Rename iceweasel-{webdeveloper.links,firefox-webdeveloper.install} to
    firefox-{webdeveloper.links,firefox-webdeveloper.install}

Show diffs side-by-side

added added

removed removed

Lines of Context:
source/content_common/webdeveloper/options/options.css
 
1
@import url("chrome://global/skin/");
 
2
@namespace url("http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul");
 
3
 
 
4
hbox > label
 
5
{
 
6
    margin-left: 0 !important;
 
7
}
 
8
 
 
9
#webdeveloper-options-dialog
 
10
{
 
11
    height: 40em !important;
 
12
    width: 60em !important;
 
13
}
 
14
 
 
15
#webdeveloper-options-page-list
 
16
{
 
17
    width: 11em !important;
 
18
}
 
19
 
 
20
#webdeveloper-options-page-list listitem
 
21
{
 
22
    padding: 0.25em !important;
 
23
}
 
24
 
 
25
spacer.large-spacer
 
26
{
 
27
    width: 20px !important;
 
28
}
 
29
 
 
30
spacer.small-spacer
 
31
{
 
32
    width: 10px !important;
 
33
}
 
34
 
 
35
.indent
 
36
{
 
37
    margin-left: 25px !important;
 
38
}
 
39
 
 
40
.scroll
 
41
{
 
42
    height: 25em !important;
 
43
        overflow: auto !important;
 
44
}