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}