addendum to last commit

This commit is contained in:
Dominik Rodler 2012-02-26 00:05:17 +01:00
parent f23e6a3f3b
commit 443dd4417b

View file

@ -1,172 +1,122 @@
/*
/* These CSS rules are included in both the outer and inner ACE iframe. These CSS rules are included in both the outer and inner ACE iframe.
Also see inner.css, included only in the inner one.
*/ */
html { cursor: text; } /* in Safari, produces text cursor for whole doc (inc. below body) */
span { cursor: auto; }
a { cursor: pointer !important; } /* LAYOUT ##################################################################### */
HTML {cursor:text;} /* in Safari, produces text cursor for whole doc (inc. below body) */
BODY {margin:0; white-space:nowrap;}
BODY.doesWrap {display:block; white-space:normal;}
BODY.grayedout {background-color:#eee !important;}
BODY.mozilla, BODY.safari {display:table-cell;} /* cause BODY area (i.e. where clicks are listened to) to grow horizontally with text */
ul, ol, li { #outerdocbody {background-color:#fff;}
padding: 0; #outerdocbody IFRAME {
margin: 0; border:0 none;
display:block; /* codemirror says it suppresses bugs */
height:1px; /* changed programmatically */
left:32px; /* MIN_LINEDIV_WIDTH + LINE_NUMBER_PADDING_RIGHT + EDIT_BODY_PADDING_LEFT */
position:relative;
top:7px; /* EDIT_BODY_PADDING_TOP - 1*/
width:1px; /* changed programmatically */
} }
ul { margin-left: 1.5em; } #outerdocbody .hotrect {border:1px solid #999; position:absolute;}
ul ul { margin-left: 0 !important; }
ul.list-bullet1 { margin-left: 1.5em; }
ul.list-bullet2 { margin-left: 3em; }
ul.list-bullet3 { margin-left: 4.5em; }
ul.list-bullet4 { margin-left: 6em; }
ul.list-bullet5 { margin-left: 7.5em; }
ul.list-bullet6 { margin-left: 9em; }
ul.list-bullet7 { margin-left: 10.5em; }
ul.list-bullet8 { margin-left: 12em; }
ul { list-style-type: disc; }
ul.list-bullet1 { list-style-type: disc; }
ul.list-bullet2 { list-style-type: circle; }
ul.list-bullet3 { list-style-type: square; }
ul.list-bullet4 { list-style-type: disc; }
ul.list-bullet5 { list-style-type: circle; }
ul.list-bullet6 { list-style-type: square; }
ul.list-bullet7 { list-style-type: disc; }
ul.list-bullet8 { list-style-type: circle; }
ol.list-number1 { margin-left: 1.5em; }
ol.list-number2 { margin-left: 3em; }
ol.list-number3 { margin-left: 4.5em; }
ol.list-number4 { margin-left: 6em; }
ol.list-number5 { margin-left: 7.5em; }
ol.list-number6 { margin-left: 9em; }
ol.list-number7 { margin-left: 10.5em; }
ol.list-number8 { margin-left: 12em; }
ol { list-style-type: decimal; }
ol.list-number1 { list-style-type: decimal; }
ol.list-number2 { list-style-type: lower-latin; }
ol.list-number3 { list-style-type: lower-roman; }
ol.list-number4 { list-style-type: decimal; }
ol.list-number5 { list-style-type: lower-latin; }
ol.list-number6 { list-style-type: lower-roman; }
ol.list-number7 { list-style-type: decimal; }
ol.list-number8 { list-style-type: lower-latin; }
ul.list-indent1 { margin-left: 1.5em; }
ul.list-indent2 { margin-left: 3em; }
ul.list-indent3 { margin-left: 4.5em; }
ul.list-indent4 { margin-left: 6em; }
ul.list-indent5 { margin-left: 7.5em; }
ul.list-indent6 { margin-left: 9em; }
ul.list-indent7 { margin-left: 10.5em; }
ul.list-indent8 { margin-left: 12em; }
ul.list-indent1 { list-style-type: none; }
ul.list-indent2 { list-style-type: none; }
ul.list-indent3 { list-style-type: none; }
ul.list-indent4 { list-style-type: none; }
ul.list-indent5 { list-style-type: none; }
ul.list-indent6 { list-style-type: none; }
ul.list-indent7 { list-style-type: none; }
ul.list-indent8 { list-style-type: none; }
body {
margin: 0;
white-space: nowrap;
}
#outerdocbody {
background-color: #fff;
}
body.grayedout { background-color: #eee !important }
#innerdocbody { #innerdocbody {
font-size: 12px; /* overridden by body.style */ background-image:url(data:image/gif;base64,R0lGODlhAQABAIAAAP///wAAACH5BAEAAAAALAAAAAABAAEAAAICRAEAOw==); /* blank 1x1 gif, so that IE8 doesn't consider the body transparent */
font-family:monospace; /* overridden by body.style */ font-family:monospace; /* overridden by body.style */
font-size:12px; /* overridden by body.style */
line-height:16px; /* overridden by body.style */ line-height:16px; /* overridden by body.style */
}
body.doesWrap {
white-space: normal;
}
#innerdocbody {
padding-top: 1px; /* important for some reason? */
padding-right: 10px;
padding-bottom: 8px;
padding-left: 1px /* prevents characters from looking chopped off in FF3 -- Removed because it added too much whitespace */;
overflow:hidden; overflow:hidden;
/* blank 1x1 gif, so that IE8 doesn't consider the body transparent */ padding:1px 10px 8px 1px;
background-image: url(data:image/gif;base64,R0lGODlhAQABAIAAAP///wAAACH5BAEAAAAALAAAAAABAAEAAAICRAEAOw==);
} }
#sidediv { #sidediv {
font-size: 11px; color:#fff;
font-family: monospace;
line-height: 16px; /* overridden by sideDiv.style */
padding-top: 8px; /* EDIT_BODY_PADDING_TOP */
padding-right: 3px; /* LINE_NUMBER_PADDING_RIGHT - 1 */
position: absolute;
width: 20px; /* MIN_LINEDIV_WIDTH */
top: 0;
left: 0;
cursor:default; cursor:default;
color: white; font-family:monospace;
} font-size:11px;
left:0;
#sidedivinner { line-height:16px; /* overridden by sideDiv.style */
text-align: right; padding-right:4px; /* LINE_NUMBER_PADDING_RIGHT - 1 */
} padding-top:8px; /* EDIT_BODY_PADDING_TOP */
.sidedivdelayed { /* class set after sizes are set */
background-color: #eee;
color: #888 !important;
border-right: 1px solid #999;
}
.sidedivhidden {
display: none;
}
#outerdocbody iframe {
display: block; /* codemirror says it suppresses bugs */
position: relative;
left: 32px; /* MIN_LINEDIV_WIDTH + LINE_NUMBER_PADDING_RIGHT + EDIT_BODY_PADDING_LEFT */
top: 7px; /* EDIT_BODY_PADDING_TOP - 1*/
border: 0;
width: 1px; /* changed programmatically */
height: 1px; /* changed programmatically */
}
#outerdocbody .hotrect {
border: 1px solid #999;
position:absolute; position:absolute;
top:0;
width:20px; /* MIN_LINEDIV_WIDTH */
} }
#sidedivinner {text-align:right;}
.sidedivdelayed {background-color:#eee; border-right:1px solid #d5d5d5; color:#aaa !important;}
.sidedivhidden {display:none;}
/* cause "body" area (e.g. where clicks are heard) to grow horizontally with text */ .safari DIV {padding-right:1px;} /* prevents the caret from disappearing on the longest line of the doc */
body.mozilla, body.safari {
display: table-cell;
}
body.doesWrap {
display: block !important;
}
.safari div {
/* prevents the caret from disappearing on the longest line of the doc */
padding-right: 1px;
}
p {
margin: 0;
}
#linemetricsdiv { #linemetricsdiv {
position: absolute; color:#fff;
left: -1000px;
top: -1000px;
color: white;
z-index: -1;
font-size: 12px; /* overridden by lineMetricsDiv.style */
font-family:monospace; /* overridden by lineMetricsDiv.style */ font-family:monospace; /* overridden by lineMetricsDiv.style */
font-size:12px; /* overridden by lineMetricsDiv.style */
left:-1000px;
position:absolute;
top:-1000px;
z-index:-1;
} }
#overlaysdiv { position: absolute; left: -1000px; top: -1000px; } #overlaysdiv {left:-1000px; position:absolute; top:-1000px;}
/* CONTENT STYLING ############################################################ */
P {margin:0;}
SPAN {cursor:auto;}
A {cursor:pointer !important;}
/* lists */
.list-bullet2, .list-indent2, .list-number2 {margin-left:3em;}
.list-bullet3, .list-indent3, .list-number3 {margin-left:4.5em;}
.list-bullet4, .list-indent4, .list-number4 {margin-left:6em;}
.list-bullet5, .list-indent5, .list-number5 {margin-left:7.5em;}
.list-bullet6, .list-indent6, .list-number6 {margin-left:9em;}
.list-bullet7, .list-indent7, .list-number7 {margin-left:10.5em;}
.list-bullet8, .list-indent8, .list-number8 {margin-left:12em;}
/* unordered lists */
UL {list-style-type:disc; margin-left:1.5em;}
UL UL {margin-left:0 !important;}
.list-bullet2, .list-bullet5, .list-bullet8 {list-style-type:circle;}
.list-bullet3, .list-bullet6 {list-style-type:square;}
.list-indent1, .list-indent2, .list-indent3, .list-indent5, .list-indent5, .list-indent6, .list-indent7, .list-indent8 {list-style-type:none;}
/* ordered lists */
OL {list-style-type:decimal; margin-left:1.5em;}
.list-number2, .list-number5, .list-number8 {list-style-type:lower-latin;}
.list-number3, .list-number6 {list-style-type:lower-roman;}
/* ---------- Used by JavaScript Lexer ---------- */
.syntax .c {color:#bd3f00; font-style:italic;} /* Comment */
.syntax .o {font-weight:700;} /* Operator */
.syntax .p {font-weight:700;} /* Punctuation */
.syntax .k {color:blue;} /* Keyword */
.syntax .kc {color:purple;} /* Keyword.Constant */
.syntax .nx {} /* Name.Other */
.syntax .mf {color:purple;} /* Literal.Number.Float */
.syntax .mh {color:purple;} /* Literal.Number.Hex */
.syntax .mi {color:purple;} /* Literal.Number.Integer */
.syntax .sr {color:purple;} /* Literal.String.Regex */
.syntax .s2 {color:purple;} /* Literal.String.Double */
.syntax .s1 {color:purple;} /* Literal.String.Single */
.syntax .sd {color:purple;} /* Literal.String.Doc */
.syntax .cs {color:#00aa33; font-weight:700; font-style:italic;} /* Comment.Special */
.syntax .err {color:#cc0000; font-weight:700; text-decoration:underline;} /* Error */
/* css syntax highlighting */
.syntax .nt {font-weight:700;} /* tag */
.syntax .nc {color:#336;} /* class */
.syntax .nf {color:#336;} /* id */
.syntax .nd {color:#999;} /* :foo */
.syntax .m {color:purple;} /* number */
.syntax .nb {color:purple;} /* built-in */
.syntax .cp {color:#bd3f00;} /* !important */
.syntax .flash {background-color:#adf !important;}
.syntax .flashbad {background-color:#f55 !important;}