← Back to branch summary

~azzar1/unity/add-show-desktop-key

« back to all changes in this revision

Viewing changes to www/media/browser/editor.css

  • Committer: mattgiuca
  • Date: 2008-02-18 00:32:43 UTC
  • Revision ID: svn-v3-trunk0:2b9c9e99-6f39-0410-b283-7f802c844ae2:trunk:487
setup.py: Added code to convert usrmgt_port into an int before writing to conf
    (and checking). Same as db_port.
userservice: Now uses config'd values for usrmgt settings instead of
    hard-coded.

Show diffs side-by-side

added added

removed removed

Lines of Context:
www/media/browser/editor.css
6
6
 * License version 2 or later.
7
7
 */
8
8
 
9
 
/* The editor iframe
 
9
#editorhead {
 
10
    /* Same colour scheme as browser.css:topbar */
 
11
    background-color: #aaf;
 
12
    padding: 0;
 
13
    height: 2em;
 
14
}
 
15
 
 
16
#editorhead p {
 
17
    margin: 0 0.5em;
 
18
}
 
19
 
 
20
/* The EditArea iframe
10
21
 * Have it fill its entire containing box
11
22
 */
12
 
/* TODO: Make this more specific! */
13
 
iframe {
 
23
#frame_editbox {
14
24
    position: absolute;
15
25
    left: 0;
16
26
    right: 0;
17
 
    top: 0;
 
27
    top: 2em;       /* == #editorhead.height */
18
28
    bottom: 0;
19
 
    /* Override the specified width and height */
20
 
    width: 100% ! important;
21
 
    /* FIXME: This is not quite right, but a better approximation of 'right' 
22
 
     * for the time being (Something is very odd with the spacing) */
23
 
    height: 100% ! important;
 
29
    /* Override EditArea's specified width and height */
 
30
    width: auto ! important;
 
31
    height: auto ! important;
24
32
}