src/runtime/javascript/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

body {
  color: black;
  background-color: white;
}

dl {

}

dt {
  margin: 0;
  padding: 0;
}

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

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;
}


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


ul {
  margin: 0;
  padding: 0;
}

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