blob: 2f4fc6af918f21220fcaa85a853c65098a86ff04 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
|
html {
font-family: Arial, Helvetica, sans-serif;
font-size: 18px
}
input {
transition: all .5s;
-webkit-transition: all .5s; /* Safari */
}
textarea {
font-size: 2em;
width: 100%;
transition: all .5s;
-webkit-transition: all .5s; /* Safari */
}
button {
margin: 1em;
padding: .25em;
background: #fff;
font-weight: bold
}
.bold { font-weight:bold }
.small { font-size:.8em }
.xtrasmall { font-size:.6em }
a {
color: #ccc;
text-decoration: underline
}
a:hover { color: #000 }
div#wrapper {
margin: 2em;
padding: 1em
}
span#status {
float: right
}
/* Edit */
#textboxes, #derivation_editor {
display: none
}
#raw_source_textarea, #target_textarea {
font-family: "Times New Roman", Georgia, Serif;
}
#raw_source_textarea {
font-size: 2em;
padding: 0.1em
}
#oov_form { display: none }
#oov_fields {
padding: 1em;
margin: .25em
}
#oov_fields input {
text-align: center;
padding: .4em
}
/* /Edit */
/* Derivation editor */
#derivation_editor input {
background: #eee;
font-size: 60%;
padding: .4em
}
/* /Derivation edtior */
/* Session overview */
div#overview_wrapper { margin-top:1em }
table#overview { font-size:.8em }
table#overview td.seg_text { width: 45% }
table#overview td { border-bottom: 1px solid #ccc; border-left:1px solid #ccc; padding: .25em }
table#overview tr:hover { background: #ccc }
table#overview .doc_title { background-color: #eee }
table#overview td.num { text-align:right; font-style:italic}
/* /Session overview */
/* Header */
div#header {
margin-bottom: 2em;
text-align:right
}
img#uni {}
img#cl {
margin-bottom:20px;
margin-left:10px;
vertical-align:bottom
}
/* /Header */
/* Footer */
p#footer {
text-align: right;
font-size: .5em;
margin: 0;
padding: 0;
color: #303030
}
/* /Footer */
/* Help */
div#help {
margin-top: .5em;
font-size: .8em;
width: 70%;
text-align: justify
}
div#help a { color:#ccc }
div#help:hover { color: #000 }
div#help:hover a { color: #000 }
/* /Help */
|
