font-size: 85%;
background: #EDF1FA;
}
-.error {
- color: red;
-}
#topbanner {
- width: 100%;
- height: 100px;
- margin-top: 20px;
-}
-#bannerinfo {
- float: right;
- margin-right: 12%;
- margin-top: 15px;
+ padding: 0px;
}
#logoimg {
float: left;
margin-left: 20px;
}
-.helptag {
- color: #488dd2;
- text-decoration: underline;
-}
#logotitle {
float: left;
margin-left: 30px;
height: 55px;
padding-top: 40px;
}
+.segment_guide {
+ color: #488dd2;
+ padding-left: 30px;
+ padding-right: 30px;
+}
+.selected {
+ background-color: #dadada;
+}
h1.title a:link, h1.title a:visited, h1.title a:active {
color: #666;
font-weight: bold;
padding-top: 5px;
padding-bottom: 5px;
}
+#loading_overlay {
+ display: none;
+ position: absolute;
+ height: 500px;
+ width: 89%;
+ z-index: 2;
+ opacity: 0.7;
+ background-image: url("cupertino/images/ui-bg_diagonals-thick_90_eeeeee_40x40.png");
+ background-repeat: repeat;
+ background-attachment: scroll;
+ background-position: 50% 50%;
+ background-color: #EEEEEE;
+}
+#loading_message {
+ position: relative;
+ background-color: #EDF1FA;
+ color: #222222;
+ border: 2px solid #B0C6F7;
+ height: 20px;
+ width: 150px;
+ padding: 20px;
+}
#dialog_overlay {
display: none;
position: absolute;
background-attachment: scroll;
background-position: 50% 50%;
background-color: #EEEEEE;
- opacity: 0.7;
+ opacity: 0.5;
padding-bottom: 5px;
padding-top: 5px;
border: 2px solid #B0C6F7;
list-style: none;
margin-bottom: 3px;
}
+
+.draggable {
+ cursor:pointer;
+}
+
+.noselect {
+-webkit-touch-callout: none;
+-webkit-user-select: none;
+-khtml-user-select: none;
+-moz-user-select: none;
+-ms-user-select: none;
+user-select: none;
+}
+
+#normalization {
+ float: left;
+ padding: 10px;
+}
+#relemmatize_pending {
+ float: left;
+ padding: 10px;
+ display: none;
+}
+#morph_outer {
+ clear: both;
+ float: left;
+}
+#morphology {
+ text-align: right;
+ margin: 10px;
+}
+.key .key_tip_container {
+ visibility: hidden;
+ position:absolute;
+ left:-150px;
+ width:140px;
+}
+.key:hover .key_tip {
+ padding: 4px;
+ font-size: 60%;
+ position: relative;
+ top: -18px;
+ visibility: visible;
+ border: 1px solid #B2B26B;
+ background-color: #FFFFCC;
+ z-index: 51; /* Cf. #update_workspace_button */
+}