← 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-06-16 07:14:51 UTC
  • Revision ID: svn-v3-trunk0:2b9c9e99-6f39-0410-b283-7f802c844ae2:trunk:775
browser.js: Updated logic to decide when to enable/disable certain actions.
    Serve and directory actions (inside the editor).
    Now Serve is correctly enabled within the editor.

Show diffs side-by-side

added added

removed removed

Lines of Context:
www/media/browser/editor.css
 
1
/* IVLE - Informatics Virtual Learning Environment
 
2
 * Copyright (C) 2007-2008 The University of Melbourne
 
3
 * Style Sheet for File Browser and Editor
 
4
 * (Text Editor view)
 
5
 * This file is redistributable under the terms of the GNU General Public
 
6
 * License version 2 or later.
 
7
 */
 
8
 
 
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
 
21
 * Have it fill its entire containing box
 
22
 */
 
23
#frame_editbox {
 
24
    position: absolute;
 
25
    left: 0;
 
26
    right: 0;
 
27
    top: 2em;       /* == #editorhead.height */
 
28
    bottom: 0;
 
29
    /* Override EditArea's specified width and height */
 
30
    width: 100% ! important;
 
31
    /* FIXME: This is not quite right, but a better approximation of 'right' 
 
32
     * for the time being (Something is very odd with the spacing) */
 
33
    height: 100% ! important;
 
34
}