~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-03-15 04:48:04 UTC
  • Revision ID: svn-v3-trunk0:2b9c9e99-6f39-0410-b283-7f802c844ae2:trunk:694
db: insert_problem_attempt now takes an exercisename and login name instead of
    DB ID keys. So it is higher level.
    It internally works out the problem ID and login ID before inserting.
tutorialservice: Now calls insert_problem_attempt passing the new arguments
    (again, tutorialservice does a lot less work now).

Show diffs side-by-side

added added

removed removed

Lines of Context:
 
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
    height: auto ! important;
 
32
}