1
2@external gwt-CheckBox gwt-Label;
3
4.panelContainer {
5   width: 570px;
6   height: 535px;
7}
8
9.panelContainerNoChooser {
10   width: 448px;
11   height: 535px;
12}
13
14.sshKeyWidget {
15   margin-top: 20px;
16}
17
18.usingVcsHelp {
19   margin-top: 30px;
20}
21
22.newSection {
23   margin-top: 25px;
24}
25
26.alwaysCompletePanel {
27   margin-bottom: 11px;
28}
29
30.paneLayoutTable {
31   height: 160px;
32}
33
34.paneLayoutTable td.paneLayoutTable {
35   background-color: white;
36   vertical-align: top;
37   padding: 0px;
38   border: 0.5px solid #555555;
39   -moz-border-radius: 6px;
40   -webkit-border-radius: 6px;
41   border-radius: 6px;
42}
43
44.paneLayoutTable .label {
45   padding: 5px 5px 0px 5px;
46}
47
48.paneLayoutTable .gwt-CheckBox {
49   display: block;
50   margin: 0 0 0 8px;
51   max-height: 18px;
52   font-size: 11px;
53}
54
55.paneLayoutTable select {
56   margin: 5px 5px 5px 5px;
57}
58
59.themeChooser select {
60   width: 148px;
61   overflow-x: hidden;
62   overflow-y: scroll;
63}
64
65.themeInfobar {
66   border: solid 1px #ccc;
67   border-bottom: none;
68   display: none;
69}
70
71.themeInfobarShowing {
72   display: block;
73}
74
75.selectWidgetHelp {
76   margin-left: 8px;
77}
78
79.smallerText {
80   font-size: 0.9em;
81}
82
83.visualModeWrapSelectWidget .gwt-Label {
84   margin-bottom: 1px;
85}
86
87
88.userDictEditButton {
89   margin-left: 8px !important;
90   margin-top: 2px !important;
91}