.codeeditor-suggestpopup-list {
    font-family: "Menlo", "Monaco", "Courier New", monospace;
    font-size: 12px;  
}

.codeeditor-suggestpopup-description {
	font-family: monospace;
    font-size: 12px;
    font-weight: 500;  
	color: white;
	background: black;
	padding: 5px;
	z-index: 100; /* ??? */
}


.codeeditor-coll-note-popup  {
	font-family: "Menlo", "Monaco", "Courier New", monospace;
	-moz-border-radius: 10px;
    -webkit-border-radius: 10px;
    -khtml-border-radius: 10px;
    border-radius: 10px;
	padding: 0px;
	border: 1px #555555 solid;
	background: white;
	
	z-index: 100;
}

.codeeditor-coll-note-popup-panel {
	padding: 5px;	
}

.codeeditor-coll-note-popup .Caption {
	border-bottom: 1px #555555 solid;
	font-weight: bold;
	font-size: medium;
	color: #555555;
	padding: 0px 5px;
}

.of-editor-1 {
	background:	#CCFFFF;
}

.of-editor-2 {
	background:	#FFCCFF;
}

.of-editor-3 {
	background:	#FFFFCC;
}

.of-editor-4 {
	background:	#FFDDDD;
}

.codeeditor-coll-comment-author {
	color: black;
	font-family: "Menlo", "Monaco", "Courier New", monospace;
    font-size: 10px;
    font-weight: 500;
    padding-left: 4px;
}

.codeeditor-coll-comment-message {
	color: black;
	font-family: "Menlo", "Monaco", "Courier New", monospace;
    font-size: 12px;
    font-weight: 500;
}

p.codeeditor-coll-comment-message {
	margin: 0px;
	padding: 0px;	
}

.codeeditor-coll-editor-popup {
	padding: 4px;
	z-index: 100; /* ??? */
	color: #555555;
	font-family: "Menlo", "Monaco", "Courier New", monospace;
	font-weight: bold;
	font-size: small;
}

.codeeditor-coll-editor-panel {
	padding: 2px;
	margin-bottom: 4px;
	border: 1px #555555 solid;
	z-index: 200; /* ??? */
}



.codeeditor-coll-panel-info {
	font-size: x-small;	
}

.toggle-lock {
    background: #DDD;
    color: #555555;
    border : 1px solid #555555;
    margin: 4px 0px;
    font-weight: bold;
    text-align: center;
    border-right: 2px solid #333;
    border-bottom: 2px solid #333;
    border-top: 2px solid #ccc;
    border-left: 2px solid #ccc;
}

.toggle-lock-up-hovering {

}

.toggle-lock-down, .toggle-lock-down-hovering {
    border-top: 2px solid #333;
    border-left: 2px solid #333;
    border-right: 2px solid #ccc;
    border-bottom: 2px solid #ccc;
}

.codeeditor-coll-note-popup .gwt-Button {
	margin: 5px 0px;	
}