← 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-03 05:01:14 UTC
  • Revision ID: svn-v3-trunk0:2b9c9e99-6f39-0410-b283-7f802c844ae2:trunk:384
editor.js: Rewrote the way the editor and surrounding UI are inserted. The top
UI is now integrated into a fixed-height div that appears to be part of the
title bar. Changed some settings in the editor such as disabling toggle,
resize, and replacing tabs with 4 spaces (consistent with console).
editor.css: Restyled editor. The editor pane now takes up the whole screen
(all the way to the edge).

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
 
#editbox {
10
 
    width: 100%;
11
 
    height: 100%;
 
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: auto ! important;
 
31
    height: auto ! important;
12
32
}