jyapayne/ace
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Fix tooltip webkit gradient, reset ajax.org logo border

Browse source
This commit is contained in:
DanyaPostfactum 2013-02-06 12:59:01 +10:00
commit 930b5cf7af
2 changed files with 3 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

1
demo/kitchen-sink/styles.css
View file

@ -19,6 +19,7 @@ body {
#logo {
padding: 15px;
margin-left: 70px;
border: none;
}
#editor-container {

6
lib/ace/css/editor.css
View file

@ -252,7 +252,7 @@
.ace_gutter-tooltip {
background-color: #FFF;
background-image: -webkit-linear-gradient(to bottom, transparent, rgba(0, 0, 0, 0.1));
background-image: -webkit-linear-gradient(top, transparent, rgba(0, 0, 0, 0.1));
background-image: linear-gradient(to bottom, transparent, rgba(0, 0, 0, 0.1));
border: 1px solid gray;
border-radius: 1px;
@ -342,9 +342,7 @@
-webkit-box-shadow: 0 1px 1px rgba(255, 255, 255, 0.2);
box-shadow: 0 1px 1px rgba(255, 255, 255, 0.2);
}
.ace_fold-widget.ace_invalid {
background-color: #FFB4B4;
border-color: #DE5555;