jtalk.less 4.3 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247
  1. /* colors */
  2. @grey: #ccc;
  3. @dark: #222;
  4. @blue: #08c;
  5. @red: #e72a2a;
  6. /* Functions */
  7. .box-shadow (@x: 0, @y: 0, @blur: 1px, @alpha) {
  8. @val: @x @y @blur rgba(0, 0, 0, @alpha);
  9. box-shadow: @val;
  10. -webkit-box-shadow: @val;
  11. -moz-box-shadow: @val;
  12. }
  13. body.jtalkBody {
  14. margin-bottom: 380px;
  15. }
  16. #jtalkTabs {
  17. position: fixed;
  18. font-family: helvetica,arial,sans;
  19. font-size: 12px;
  20. background: white;
  21. z-index: 1;
  22. bottom: 0;
  23. left: 0;
  24. right: 0;
  25. margin: 0;
  26. padding: 0 0 3px 0;
  27. height: 19px;
  28. background: white;
  29. li {
  30. list-style-type: none;
  31. display: inline;
  32. background: darken(@grey, 1%);
  33. font-weight: bold;
  34. color: lighten(@dark, 20%);
  35. padding: 4px;
  36. border: 1px solid darken(@grey, 20%);
  37. cursor: pointer;
  38. line-height: 14px;
  39. &.selected {
  40. background: lighten(@grey, 10%);
  41. border-top: 0 none;
  42. padding: 5px 4px;
  43. color: @dark;
  44. }
  45. span.close {
  46. margin-left: 10px;
  47. }
  48. &.closeAll {
  49. -moz-border-radius: 10px;
  50. -webkit-border-radius: 10px;
  51. border-radius: 10px;
  52. background: lighten(@red, 10%);
  53. color: lighten(@grey, 15%);
  54. font-weight: bold;
  55. border: 1px solid darken(@red, 15%);
  56. margin: 4px;
  57. padding: 2px 6px;
  58. font-size: 10px;
  59. &:hover {
  60. background: @red;
  61. }
  62. }
  63. }
  64. }
  65. #jtalk {
  66. position: fixed;
  67. bottom: 27px;
  68. left: 0;
  69. right: 0;
  70. height: 300px;
  71. .ui-resizable-handle {
  72. background-color: darken(@grey, 20%);
  73. top: 0;
  74. cursor: row-resize;
  75. height: 4px;
  76. left: 0;
  77. position: absolute;
  78. right: 0;
  79. width: auto !important;
  80. }
  81. }
  82. .jtalkTool {
  83. width: 98%;
  84. background: lighten(@grey, 10%);
  85. border-style: solid;
  86. border-width: 2px 0 1px 0;
  87. border-color: darken(@grey, 20%);
  88. color: @dark;
  89. font-family: Arial, Helvetica, sans;
  90. font-size: 12px;
  91. line-height: 1.5em;
  92. padding: 15px 1%;
  93. position: absolute;
  94. bottom: 0;
  95. left: 0;
  96. top: 4px;
  97. .box {
  98. width: 98%;
  99. margin: 0;
  100. position: absolute;
  101. top: 15px;
  102. bottom: 45px;
  103. }
  104. .buttons {
  105. position: absolute;
  106. bottom: 15px;
  107. button {
  108. font-size: 12px;
  109. }
  110. }
  111. textarea {
  112. border: 1px solid;
  113. border-color: darken(@grey, 20%);
  114. font-family: Arial, Helvetica, sans;
  115. line-height: 1.2em;
  116. font-size: 13px;
  117. position: relative;
  118. padding: 3px;
  119. }
  120. .clear {
  121. clear: both;
  122. }
  123. .transcript,.workspace {
  124. width: 100%;
  125. height: 100%;
  126. }
  127. ul.column {
  128. width: 24%;
  129. padding: 0;
  130. margin: 0;
  131. float: left;
  132. border: 1px solid;
  133. border-color: darken(@grey, 20%);
  134. height: 130px;
  135. overflow-y: scroll;
  136. background: white;
  137. position: absolute;
  138. top: 0;
  139. &.categories {
  140. left: 0%
  141. }
  142. &.classes {
  143. height: 105px;
  144. left: 25.2%
  145. }
  146. &.protocols {
  147. left: 50.4%
  148. }
  149. &.methods {
  150. left: 75.6%
  151. }
  152. li {
  153. list-style-type: none;
  154. padding-left: 5px;
  155. cursor: pointer;
  156. &.selected {
  157. background: lighten(@grey, 10%);
  158. color: @dark;
  159. }
  160. &:hover {
  161. background: @blue;
  162. color: white;
  163. }
  164. }
  165. }
  166. .tabs {
  167. top: 106px;
  168. position: absolute;
  169. left: 25.2%;
  170. padding: 0;
  171. margin: 0;
  172. li {
  173. color: darken(@grey, 30%);
  174. list-style-type: none;
  175. float: left;
  176. padding: 2px 4px;
  177. margin-right: 2px;
  178. background: @grey;
  179. border: 1px solid darken(@grey, 20%);
  180. -moz-border-radius-bottomleft: 8px;
  181. -moz-border-radius-bottomright: 8px;
  182. -webkit-border-bottom-left-radius: 8px;
  183. -webkit-border-bottom-right-radius: 8px;
  184. border-bottom-left-radius: 8px;
  185. border-bottom-right-radius: 8px;
  186. height: 20px;
  187. line-height: 18px;
  188. &:hover {
  189. cursor: pointer;
  190. background: @blue;
  191. color: white;
  192. border-color: @blue;
  193. }
  194. &.selected, &.selected:hover {
  195. background: white;
  196. border: 1px solid darken(@grey, 10%);
  197. border-top: 1px solid white;
  198. color: darken(@grey, 50px);
  199. }
  200. }
  201. }
  202. .sourceCode {
  203. position: absolute;
  204. top: 145px;
  205. bottom: 0;
  206. left: 0;
  207. right: 0;
  208. textarea.source {
  209. width: 100%;
  210. height: 100%;
  211. }
  212. }
  213. }