|
383
by mattgiuca
Split media/browser/browser.css into 3 files (listing.css and 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 |
||
|
809
by William Grant
Merge killall-editarea branch. We now use CodePress instead, which is |
9 |
/* The editor iframe
|
|
384
by mattgiuca
editor.js: Rewrote the way the editor and surrounding UI are inserted. The top |
10 |
* Have it fill its entire containing box
|
11 |
*/
|
|
|
809
by William Grant
Merge killall-editarea branch. We now use CodePress instead, which is |
12 |
/* TODO: Make this more specific! */
|
13 |
iframe { |
|
|
384
by mattgiuca
editor.js: Rewrote the way the editor and surrounding UI are inserted. The top |
14 |
position: absolute; |
15 |
left: 0; |
|
16 |
right: 0; |
|
|
777
by mattgiuca
browser: Now hides the "More actions" box altogether if the current file is |
17 |
top: 0; |
|
384
by mattgiuca
editor.js: Rewrote the way the editor and surrounding UI are inserted. The top |
18 |
bottom: 0; |
|
809
by William Grant
Merge killall-editarea branch. We now use CodePress instead, which is |
19 |
/* Override the specified width and height */
|
|
573
by agdimech
browser/editor.css: Changed frame width for editor to 100% to provide multi-browser functionality. |
20 |
width: 100% ! important; |
|
751
by dcoles
Attempt to fix up the most blatent problems with iframes in Firefox 3. The |
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; |
|
|
383
by mattgiuca
Split media/browser/browser.css into 3 files (listing.css and editor.css). |
24 |
}
|
|
1790.1.3
by David Coles
Editor: Add line numbers and support for Text, HTML and Python syntax |
25 |
|
26 |
.CodeMirror-line-numbers { |
|
27 |
width: 2.2em; |
|
28 |
color: #aaa; |
|
29 |
background-color: #eee; |
|
30 |
text-align: right; |
|
31 |
padding: .4em; |
|
32 |
margin: 0; |
|
33 |
font-family: monospace; |
|
34 |
font-size: 10pt; |
|
35 |
line-height: 1.1em; |
|
36 |
}
|