src/server/translator.css


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

body {
  color: black;
  background-color: white;
  font-family: sans-serif;
}

dl {
  margin: 0;
  padding: 0;
}

dt {
  margin: 0;
  padding: 0;
}

dl dd {
  margin: 0;
  padding: 0;
}

ul {
  margin: 0;
  padding: 0;
}

li {
  list-style-type: none;
  margin: 0;
  padding: 0;
}

/* Translator widget */

#translator {

}

/* Translations */

#translation {
  clear: both;   
}

dl.fromLang dt {
  display: none;
}

dl.toLang {
  border-width: 1px 0 0 0;
  border-style: solid;
  border-color: #c0c0c0;
}

dl.toLang dt {
  color: #c0c0c0;
  display: block;
  float: left;
  width: 5em;
  font-size: 80%;
  padding: 1px 0;
}

dl.toLang dd {
  border-width: 0 0 1px 0;
  border-style: solid;
  border-color: #c0c0c0;
  padding: 0.2em 0;
}

/* Completions */

#completion {
   font-size: 80%;
   color: #c0c0c0;
   white-space: nowrap;
   width: 100%;
   overflow: hidden;
}

#completion dt {
  display: none;   
}

#completion li {
  display: inline;
  padding: 0 0.1em;
}