helios.less 24 KB

12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970717273747576777879808182838485868788899091929394959697989910010110210310410510610710810911011111211311411511611711811912012112212312412512612712812913013113213313413513613713813914014114214314414514614714814915015115215315415515615715815916016116216316416516616716816917017117217317417517617717817918018118218318418518618718818919019119219319419519619719819920020120220320420520620720820921021121221321421521621721821922022122222322422522622722822923023123223323423523623723823924024124224324424524624724824925025125225325425525625725825926026126226326426526626726826927027127227327427527627727827928028128228328428528628728828929029129229329429529629729829930030130230330430530630730830931031131231331431531631731831932032132232332432532632732832933033133233333433533633733833934034134234334434534634734834935035135235335435535635735835936036136236336436536636736836937037137237337437537637737837938038138238338438538638738838939039139239339439539639739839940040140240340440540640740840941041141241341441541641741841942042142242342442542642742842943043143243343443543643743843944044144244344444544644744844945045145245345445545645745845946046146246346446546646746846947047147247347447547647747847948048148248348448548648748848949049149249349449549649749849950050150250350450550650750850951051151251351451551651751851952052152252352452552652752852953053153253353453553653753853954054154254354454554654754854955055155255355455555655755855956056156256356456556656756856957057157257357457557657757857958058158258358458558658758858959059159259359459559659759859960060160260360460560660760860961061161261361461561661761861962062162262362462562662762862963063163263363463563663763863964064164264364464564664764864965065165265365465565665765865966066166266366466566666766866967067167267367467567667767867968068168268368468568668768868969069169269369469569669769869970070170270370470570670770870971071171271371471571671771871972072172272372472572672772872973073173273373473573673773873974074174274374474574674774874975075175275375475575675775875976076176276376476576676776876977077177277377477577677777877978078178278378478578678778878979079179279379479579679779879980080180280380480580680780880981081181281381481581681781881982082182282382482582682782882983083183283383483583683783883984084184284384484584684784884985085185285385485585685785885986086186286386486586686786886987087187287387487587687787887988088188288388488588688788888989089189289389489589689789889990090190290390490590690790890991091191291391491591691791891992092192292392492592692792892993093193293393493593693793893994094194294394494594694794894995095195295395495595695795895996096196296396496596696796896997097197297397497597697797897998098198298398498598698798898999099199299399499599699799899910001001100210031004100510061007100810091010101110121013101410151016101710181019102010211022102310241025102610271028102910301031103210331034103510361037103810391040104110421043104410451046104710481049105010511052105310541055105610571058105910601061106210631064106510661067106810691070107110721073107410751076107710781079108010811082108310841085108610871088108910901091109210931094109510961097109810991100110111021103110411051106110711081109111011111112111311141115111611171118111911201121112211231124112511261127112811291130113111321133113411351136113711381139114011411142114311441145114611471148114911501151115211531154115511561157115811591160116111621163116411651166116711681169117011711172117311741175117611771178117911801181118211831184
  1. .clearfix:after {
  2. content: ".";
  3. display: block;
  4. clear: both;
  5. visibility: hidden;
  6. line-height: 0;
  7. height: 0;
  8. }
  9. .clearfix {
  10. display: inline-block;
  11. }
  12. html[xmlns] .clearfix {
  13. display: block;
  14. }
  15. * html .clearfix {
  16. height: 1%;
  17. }
  18. body.navigation .CodeMirror pre {
  19. cursor: pointer !important;
  20. }
  21. body[id="helios"] {
  22. font-size: 11px;
  23. font-family: "Bitstream Vera Sans", "Lucida Grande", "Segoe UI", helvetica, arial, sans-serif;
  24. background: #eee url(squared_metal.png) repeat;
  25. a {
  26. cursor: pointer;
  27. }
  28. i {
  29. opacity: 1;
  30. }
  31. [class^="icon-"], [class*=" icon-"] {
  32. margin-top: 0;
  33. }
  34. .CodeMirror {
  35. position: absolute;
  36. height: 100%;
  37. width: 100%;
  38. font-family: Consolas, "Liberation Mono", Courier, monospace;
  39. line-height: 16px;
  40. font-size: 13px;
  41. .CodeMirror-gutter.stops {
  42. width: 20px;
  43. }
  44. .highlighted.CodeMirror-linebackground {
  45. background-color: #ffffaa;
  46. }
  47. .CodeMirror-gutter-elt .stop {
  48. width: 16px;
  49. height: 16px;
  50. background: url('arrowRight.png');
  51. margin-left: 2px;
  52. }
  53. }
  54. .CodeMirror-hints {
  55. border-radius: 0;
  56. font-family: "Lucida Grande", "Segoe UI", helvetica, arial, sans-serif;
  57. font-size: 11px;
  58. line-height: 1em;
  59. padding: 0;
  60. max-height: 120px;
  61. }
  62. .CodeMirror-hint {
  63. border-radius: 0;
  64. padding: 0 10px;
  65. }
  66. .state {
  67. position: absolute;
  68. right: 15px;
  69. top: 10px;
  70. width: 16px;
  71. height: 16px;
  72. }
  73. .state.modified {
  74. background: transparent url('modified.png') 50% 50% no-repeat;
  75. }
  76. .editor {
  77. position: absolute;
  78. top: 0;
  79. bottom: 23px;
  80. left: 0;
  81. right: 0;
  82. }
  83. .hl_widget {
  84. &:focus {
  85. outline: 0 none;
  86. }
  87. }
  88. .buttons_bar {
  89. position: absolute;
  90. bottom: 0;
  91. right: 0;
  92. left: 0;
  93. z-index: 2;
  94. padding: 0px 25px;
  95. height: 21px;
  96. line-height: 18px;
  97. border-top: 1px solid #999;
  98. text-align: right;
  99. .button {
  100. height: 17px;
  101. font-size: 12px;
  102. min-width: 0;
  103. }
  104. }
  105. .btn.btn-default, .btn-group > .btn.btn-default, .btn-group > .dropdown-menu {
  106. padding: 2px 8px;
  107. }
  108. .navbar-fixed-top {
  109. font-size: 11px;
  110. line-height: 16px;
  111. min-height: 25px;
  112. margin: 0;
  113. border: 0;
  114. .navbar-header {
  115. border: 0;
  116. height: 25px;
  117. width: 100%;
  118. border-bottom: 1px solid #666;
  119. box-shadow: inset 0px 2px 2px #aaa;
  120. background: #bababa;
  121. .nav-tabs {
  122. height: 24px;
  123. }
  124. .nav-tabs > li > a {
  125. -webkit-border-radius: 0;
  126. -moz-border-radius: 0;
  127. border-radius: 0;
  128. //border: 0;
  129. margin: 0;
  130. height: 24px;
  131. }
  132. }
  133. ul {
  134. width: 100%;
  135. }
  136. }
  137. // content of top navigation tabs
  138. .navbar-fixed-top a span,
  139. .dialog .nav a span {
  140. padding: 1px;
  141. padding-left: 18px;
  142. background-position: center left;
  143. background-repeat: no-repeat;
  144. background-position: 0px center;
  145. height: 22px;
  146. }
  147. .navbar-fixed-top i {
  148. opacity: 0.4;
  149. margin-right: 5px;
  150. height: 12px;
  151. margin-top: 0;
  152. }
  153. .navbar-fixed-top .active i {
  154. opacity: 0.6;
  155. }
  156. // close icon on top navigation tabs
  157. .navbar-fixed-top i.close {
  158. width: 14px;
  159. height: 16px;
  160. margin-left: 4px;
  161. background-image: url('close.gif');
  162. margin-right: 0;
  163. background-position: center left;
  164. margin-top: 4px;
  165. }
  166. // images for top navigation tabs
  167. .navbar-fixed-top a,
  168. .dialog .nav a {
  169. span.references {
  170. background-image: url('references.png')
  171. }
  172. span.browser {
  173. background-image: url('browser.png')
  174. }
  175. span.sunit {
  176. background-image: url('test.png')
  177. }
  178. span.workspace {
  179. background-image: url('workspace.png')
  180. }
  181. span.debugger {
  182. background-image: url('debugger.png')
  183. }
  184. span.inspector {
  185. background-image: url('inspector.png')
  186. }
  187. }
  188. .new_tab {
  189. width: 20px;
  190. height: 24px;
  191. line-height: 24px;
  192. border-right: 0 none;
  193. position: absolute;
  194. top: 0px;
  195. right: 0px;
  196. z-index: 2000;
  197. a {
  198. color: #444;
  199. &:hover {
  200. text-decoration: none;
  201. }
  202. }
  203. .dropdown-menu {
  204. left: auto;
  205. float: right;
  206. right: 0;
  207. margin: 0;
  208. border: 0;
  209. }
  210. }
  211. .dropdown-menu {
  212. min-width: 0;
  213. text-align: left;
  214. }
  215. .navbar-nav {
  216. border: 0;
  217. > li {
  218. line-height: 16px;
  219. text-align: center;
  220. max-width: 300px;
  221. }
  222. .ui-sortable-handle a {
  223. height: 24px;
  224. border: 0;
  225. border-left: 1px solid #777;
  226. }
  227. }
  228. .navbar-nav > li > a {
  229. line-height: 22px;
  230. padding: 0px 8px;
  231. font-size: 11px;
  232. border-right: 1px solid #777;
  233. text-shadow: #ddd 0px 1px 0px;
  234. color: #222;
  235. span {
  236. display: block;
  237. overflow: hidden;
  238. }
  239. }
  240. .nav > li > a:hover {
  241. background: transparent;
  242. }
  243. .navbar-nav .ui-sortable-handle.inactive a {
  244. color: #222;
  245. background-image: linear-gradient(top, #bfbfbf, #b0b0b0);
  246. background-image: -webkit-linear-gradient(top, #bfbfbf, #b0b0b0);
  247. background-image: -moz-linear-gradient(top, #bfbfbf, #b0b0b0);
  248. background-image: -o-linear-gradient(top, #bfbfbf, #b0b0b0);
  249. text-shadow: 0 1px 0 #ddd;
  250. box-shadow: 0 0 0;
  251. }
  252. .navbar-nav > .inactive > a:hover,
  253. .navbar-nav > li > a:hover {
  254. color: #333;
  255. background-image: linear-gradient(top, #cfcfcf, #c0c0c0);
  256. background-image: -webkit-linear-gradient(top, #cfcfcf, #c0c0c0);
  257. background-image: -moz-linear-gradient(top, #cfcfcf, #c0c0c0);
  258. background-image: -o-linear-gradient(top, #cfcfcf, #c0c0c0);
  259. text-shadow: 0 1px 0 #ddd;
  260. box-shadow: 0 0 0;
  261. }
  262. .navbar-nav > .active > a,
  263. .navbar-nav > .active > a:hover,
  264. .navbar-nav > .active > a:focus,
  265. .navbar-nav .ui-sortable-handle a {
  266. color: #444;
  267. background-image: linear-gradient(top, #dfdfdf, #d0d0d0);
  268. background-image: -webkit-linear-gradient(top, #dfdfdf, #d0d0d0);
  269. background-image: -moz-linear-gradient(top, #dfdfdf, #d0d0d0);
  270. background-image: -o-linear-gradient(top, #dfdfdf, #d0d0d0);
  271. text-shadow: 0 1px 0 #ddd;
  272. box-shadow: 0 0 0;
  273. }
  274. .nav.navbar-nav .ui-sortable-handle a {
  275. border-left: 1px solid #777;
  276. }
  277. // package/class/category/methods lists
  278. .nav-pills.nav-stacked > li > a {
  279. border-radius: 0;
  280. -webkit-border-radius: 0;
  281. -moz-border-radius: 0;
  282. padding: 2px 2px 1px 4px;
  283. margin: 0;
  284. font-size: 11px;
  285. color: #111;
  286. white-space: nowrap;
  287. }
  288. [class^="icon-"], [class*=" icon-"] {
  289. margin-right: 2px;
  290. }
  291. .dropdown-menu {
  292. border-radius: 0;
  293. padding: 0;
  294. margin: 3px;
  295. }
  296. // this is the spotlight searchbox
  297. .spotlight {
  298. float: right;
  299. position: relative;
  300. top: 1px;
  301. right: 26px;
  302. height: 22px;
  303. z-index: 1100;
  304. border: 1px solid #999;
  305. font-size: 11px;
  306. padding: 0 6px;
  307. border-radius: 10px;
  308. width: 200px;
  309. box-shadow: inset 0 0 2px 0 #ddd;
  310. &:focus {
  311. box-shadow: inset 0 0 2px 0 #08c;
  312. border-color: #08c;
  313. }
  314. }
  315. // jQuery UI autocomplete, without the jQuery UI stylesheet
  316. .ui-autocomplete {
  317. position: absolute;
  318. z-index: 2002;
  319. list-style: none;
  320. margin: 0;
  321. padding: 0;
  322. background-color: #ddd;
  323. width: 300px;
  324. max-height: 350px;
  325. overflow-y: auto;
  326. }
  327. .ui-menu-item-wrapper {
  328. margin: 2px;
  329. font-size: 11px;
  330. }
  331. .ui-menu-item-wrapper.ui-state-active {
  332. color: #fff;
  333. background-color: #0097cf;
  334. }
  335. .ui-helper-hidden-accessible {
  336. position: absolute;
  337. width: 1px;
  338. height: 1px;
  339. margin: -1px;
  340. padding: 0;
  341. border: 0;
  342. overflow: hidden;
  343. clip: rect(0 0 0 0);
  344. }
  345. .nav-pills > .active > a {
  346. background-color: #ddd;
  347. color: #fff;
  348. text-shadow: 0 0 0;
  349. }
  350. .focused .nav-pills {
  351. background-color: #f3f7fb;
  352. }
  353. .focused .nav-pills > .active > a,
  354. .nav-pills > .active > a:hover,
  355. .dropdown-menu li > a:hover,
  356. .dropdown-menu li > a:focus,
  357. .dropdown-menu .active > a,
  358. .dropdown-menu .active > a:hover,
  359. .CodeMirror-hint-active {
  360. background: rgba(95, 159, 228, 0.62);
  361. color: #fff;
  362. text-shadow: 0 0 0;
  363. }
  364. .welcome {
  365. position: fixed;
  366. top: 0;
  367. bottom: 0;
  368. left: 50%;
  369. margin-left: -170px;
  370. width: 340px;
  371. margin-top: 60px;
  372. text-shadow: 0 1px 0 #fafafa;
  373. color: #666;
  374. font-size: 14px;
  375. h2 {
  376. text-align: center;
  377. color: #666;
  378. }
  379. button {
  380. background: #eee;
  381. margin: 10px;
  382. padding: 20px;
  383. height: auto;
  384. width: 150px;
  385. }
  386. }
  387. .sunit.status {
  388. &.success {
  389. background: #43d443;
  390. }
  391. &.failure {
  392. background: #ecd443;
  393. }
  394. &.error {
  395. background: #e56f3b;
  396. }
  397. }
  398. .tool_container {
  399. position: absolute;
  400. top: 23px;
  401. bottom: 0;
  402. left: 0;
  403. right: 0;
  404. }
  405. .transcript textarea {
  406. width: 100%;
  407. height: 100%;
  408. margin: 0;
  409. padding: 0;
  410. border: 0;
  411. }
  412. .tool_container .panes {
  413. position: relative;
  414. height: 100%;
  415. width: 100%;
  416. overflow: hidden;
  417. }
  418. .tool_container .panes .pane {
  419. position: absolute;
  420. overflow: auto;
  421. top: 0;
  422. left: 0;
  423. right: 0;
  424. bottom: 0;
  425. background: #fefefe;
  426. }
  427. .tool_container .multi_pane {
  428. position: relative;
  429. height: 100%;
  430. width: auto;
  431. overflow-x: auto;
  432. }
  433. .tool_container .multi_pane .pane {
  434. height: 100%;
  435. max-width: 300px;
  436. border-right: 1px solid #888;
  437. }
  438. .tool_container .panes .pane > div {
  439. height: 100%;
  440. position: relative;
  441. }
  442. .tool_container .panes.horizontal > .pane {
  443. min-height: 50px;
  444. }
  445. .tool_container .panes.horizontal > .pane {
  446. top: 50%;
  447. }
  448. .tool_container .panes.horizontal > .pane:first-child {
  449. top: 0;
  450. bottom: 50%;
  451. }
  452. .tool_container .panes.vertical > .pane {
  453. left: 50%;
  454. }
  455. .tool_container .panes.vertical > .pane:first-child {
  456. left: 0;
  457. right: 50%;
  458. }
  459. .tool_container .splitter {
  460. position: absolute;
  461. border-width: 0;
  462. z-index: 10;
  463. }
  464. .tool_container .splitter.vertical {
  465. width: 5px;
  466. left: 50%;
  467. margin-left: -1px;
  468. border-left: 1px solid #888;
  469. height: 100%;
  470. float: left;
  471. cursor: ew-resize;
  472. }
  473. .tool_container .splitter.horizontal {
  474. top: 50%;
  475. height: 5px;
  476. margin-top: -1px;
  477. width: 100%;
  478. border-top: 1px solid #888;
  479. cursor: ns-resize;
  480. }
  481. .tool_container .panes .pane .nav-pills {
  482. position: absolute;
  483. overflow-y: auto;
  484. top: 17px;
  485. bottom: 17px;
  486. width: 100%;
  487. margin: 0;
  488. }
  489. .tool_container .pane .nav-pills i {
  490. display: inline-block;
  491. width: 16px;
  492. height: 16px;
  493. margin-right: 4px;
  494. background-image: none;
  495. background-position: top left;
  496. line-height: 14px;
  497. vertical-align: text-top;
  498. }
  499. .tool_container .pane .nav-pills i.announcement {
  500. background-image: url('announcement.png');
  501. }
  502. .tool_container .pane .nav-pills i.class {
  503. background-image: url('class.png');
  504. }
  505. .tool_container .pane .nav-pills i.trait {
  506. background-image: url('trait.png');
  507. }
  508. .tool_container .pane .nav-pills i.collection {
  509. background-image: url('collection.png');
  510. }
  511. .tool_container .pane .nav-pills i.test {
  512. background-image: url('test.png');
  513. }
  514. .tool_container .pane .nav-pills i.exception {
  515. background-image: url('exception.png');
  516. }
  517. .tool_container .pane .nav-pills i.widget {
  518. background-image: url('widget.png');
  519. }
  520. .tool_container .pane .nav-pills i.magnitude {
  521. background-image: url('magnitude.png');
  522. }
  523. .tool_container .pane .nav-pills i.package {
  524. background-image: url('package.png');
  525. }
  526. .tool_container .pane .nav-pills i.package_dirty {
  527. background-image: url('package-dirty.png');
  528. }
  529. .tool_container .pane .nav-pills i.private {
  530. background-image: url('private.png');
  531. }
  532. .tool_container .pane .nav-pills i.extension {
  533. background-image: url('extension.png');
  534. }
  535. .tool_container .pane .nav-pills i.initialization {
  536. background-image: url('initialization.png');
  537. }
  538. .tool_container .pane .nav-pills i.package {
  539. background-image: url('package.png');
  540. }
  541. .tool_container .pane .nav-pills i.override {
  542. background-image: url('override.png ');
  543. }
  544. .tool_container .pane .nav-pills i.overridden {
  545. background-image: url('overridden.png');
  546. }
  547. .tool_container .pane .nav-pills i.override-overridden {
  548. background-image: url('override-overridden.png');
  549. }
  550. .tool_container .pane .nav-pills i.warning {
  551. background-image: url('warning.gif');
  552. }
  553. .tool_container .pane .nav-pills i.uncommented {
  554. background-image: url('uncommented.png');
  555. }
  556. .tool_container .list-label {
  557. font-size: 11px;
  558. border-radius: 0;
  559. border-bottom: 1px solid #999;
  560. border-top: 1px solid #eee;
  561. background-color: #eee;
  562. background-image: -webkit-linear-gradient(top, #eee, #ddd);
  563. background-image: -moz-linear-gradient(top, #eee, #ddd);
  564. background-image: -o-linear-gradient(top, #eee, #ddd);
  565. background-image: linear-gradient(top, #eee, #ddd);
  566. color: #444;
  567. font-weight: bold;
  568. text-shadow: 0 0 0;
  569. padding-left: 4px;
  570. line-height: 14px;
  571. height: 15px;
  572. text-shadow: 0 1px 0 #eee;
  573. }
  574. .tool_container .list-label .btn-group.cog {
  575. position: absolute;
  576. top: 0;
  577. right: 0;
  578. padding: 0;
  579. margin: 0;
  580. }
  581. .tool_container .list-label .btn-group.open .dropdown-toggle {
  582. box-shadow: 0 0 0;
  583. border: 0;
  584. }
  585. .tool_container .list-label .btn-group > .dropdown-menu {
  586. padding: 0;
  587. margin: 0;
  588. font-size: 11px;
  589. }
  590. .tool_container .list-label .btn-group.cog i {
  591. margin-top: 1px;
  592. }
  593. .tool_container .list-label .cog .btn.btn-default.dropdown-toggle {
  594. padding: 0;
  595. margin: 0;
  596. line-height: 12px;
  597. border: 0;
  598. background: transparent;
  599. }
  600. .tool_container .panes .pane .pane_actions {
  601. position: absolute;
  602. overflow: hidden;
  603. width: 100%;
  604. height: 16px;
  605. bottom: 0;
  606. padding: 0;
  607. margin: 0;
  608. }
  609. .tool_container .pane_actions, .tool_container .buttons_bar {
  610. background: #dadada;
  611. border-top: 1px solid #666;
  612. background-image: -webkit-linear-gradient(top, #dadada, #bdbdbd);
  613. background-image: -moz-linear-gradient(top, #dadada, #bdbdbd);
  614. background-image: -o-linear-gradient(top, #dadada, #bdbdbd);
  615. background-image: linear-gradient(top, #dadada, #bdbdbd);
  616. }
  617. .tool_container .panes .pane .pane_actions .info {
  618. padding: 10px 5px 5px;
  619. font-weight: bold;
  620. color: #666;
  621. line-height: 20px;
  622. }
  623. .tool_container .panes .pane .pane_actions .btn-group {
  624. display: inline;
  625. margin-left: 5px;
  626. }
  627. .tool_container .panes .pane .pane_actions label {
  628. display: inline-block;
  629. padding-left: 30px;
  630. font-size: 11px;
  631. line-height: 16px;
  632. vertical-align: top;
  633. text-shadow: #ddd 0px 1px 0px;
  634. color: #222;
  635. margin-top: 0px;
  636. margin-bottom: 0px;
  637. }
  638. .tool_container .panes .pane .pane_actions label input {
  639. float: none;
  640. vertical-align: top;
  641. margin-top: 2px;
  642. margin-right: 5px;
  643. }
  644. .tool_container .panes .pane .pane_actions .btn-group .btn.btn-default,
  645. .pane_actions.form-group .btn.btn-default {
  646. background: transparent;
  647. border: 0;
  648. font-size: 11px;
  649. line-height: 16px;
  650. padding: 0 5px;
  651. margin: 0;
  652. border-radius: 0;
  653. box-shadow: 0 0 0;
  654. vertical-align: top;
  655. /* min-width: 50px; */
  656. }
  657. .tool_container .panes .pane .pane_actions .btn.btn-default:hover,
  658. .pane_actions.form-group .btn.btn-default:hover {
  659. background-color: #bbb;
  660. }
  661. .tool_container .panes .pane .pane_actions .btn-group .btn.btn-default:hover,
  662. .pane_actions.form-group .btn.btn-default:hover {
  663. background-color: transparent;
  664. }
  665. .tool_container .panes .pane .pane_actions .btn-group .btn.btn-default.active,
  666. .pane_actions.form-group .btn.btn-default {
  667. text-shadow: #ddd 0px 1px 0px;
  668. color: #222;
  669. background: #bbb;
  670. background-image: linear-gradient(left, #777 0%, #bababa 2px, transparent 2px), linear-gradient(right, #777 0%, #bababa 2px, transparent 2px);
  671. background-image: -webkit-linear-gradient(left, #777 0%, #bababa 2px, transparent 2px), -webkit-linear-gradient(right, #777 0%, #bababa 2px, transparent 2px);
  672. background-image: -moz-linear-gradient(left, #777 0%, #bababa 2px, transparent 2px), -moz-linear-gradient(right, #777 0%, #bababa 2px, transparent 2px);
  673. background-image: -o-linear-gradient(left, #777 0%, #bababa 2px, transparent 2px), -o-linear-gradient(right, #777 0%, #bababa 2px, transparent 2px);
  674. }
  675. .tool_container .panes .pane .class_side .nav-pills {
  676. font-weight: bold;
  677. background: #ffd
  678. }
  679. .key_helper {
  680. z-index: 2001;
  681. position: fixed;
  682. top: 120px;
  683. left: 50%;
  684. width: 400px;
  685. max-height: 300px;
  686. margin-left: -200px;
  687. background: white;
  688. box-shadow: 0 0 6px #aaa;
  689. border: 1px solid #aaa;
  690. font-size: 11px;
  691. transition: all .5s;
  692. -webkit-transition: all .5s;
  693. -moz-transition: all .5s;
  694. -o-transition: all .5s;
  695. -ms-transition: all .5s;
  696. .command {
  697. padding: 0;
  698. display: inline-block;
  699. width: 50%;
  700. height: 20px;
  701. strong {
  702. display: inline-block;
  703. min-width: 1.4em;
  704. text-align: left;
  705. }
  706. }
  707. #binding-helper-main {
  708. display: block;
  709. padding: 5px;
  710. background: #eee;
  711. }
  712. .label {
  713. padding: 1px 4px;
  714. font-family: Menlo, Monaco, "Lucida Console", Courier, monospace;
  715. font-size: 100%;
  716. line-height: 14px;
  717. background: transparent;
  718. color: #0E4561;
  719. text-shadow: none;
  720. border: 0 none;
  721. }
  722. .action {
  723. padding: 0 0.5em 0 5px;
  724. color: inherit;
  725. font-weight: bold;
  726. }
  727. .selected {
  728. background-image: linear-gradient(top, #ccc, #bbb);
  729. background-image: -moz-linear-gradient(top, #ccc, #bbb);
  730. background-image: -o-linear-gradient(top, #ccc, #bbb);
  731. background-image: -webkit-linear-gradient(top, #ccc, #bbb);
  732. height: 28px;
  733. padding: 0 8px;
  734. font-weight: bold;
  735. font-size: 18px;
  736. line-height: 28px;
  737. text-shadow: 0 1px 0 #fff;
  738. display: block;
  739. border-bottom: 1px solid #aaa;
  740. }
  741. .close {
  742. font-size: 14px;
  743. line-height: 28px;
  744. opacity: 0.6;
  745. position: absolute;
  746. top: 0;
  747. right: 4px;
  748. }
  749. .close:hover {
  750. opacity: 0.8;
  751. }
  752. input {
  753. outline: none;
  754. font-size: 11px;
  755. padding: 2px 8px;
  756. background: #fff;
  757. border: 1px solid #a1a1a1;
  758. border-radius: 12px;
  759. box-shadow: inset 0 0px 2px 0px #aaa;
  760. margin: 2px 4px;
  761. line-height: 1em;
  762. }
  763. // similar but not equivalent
  764. .error .help-block,
  765. .error input {
  766. color: #B91010;
  767. font-weight: bold;
  768. }
  769. #cog-helper {
  770. position: fixed;
  771. bottom: 2px;
  772. right: 2px;
  773. z-index: 1000;
  774. opacity: 0.6;
  775. transition: all .5s;
  776. -webkit-transition: all .5s;
  777. -moz-transition: all .5s;
  778. -o-transition: all .5s;
  779. -ms-transition: all .5s;
  780. }
  781. #cog-helper:hover {
  782. opacity: 1;
  783. }
  784. }
  785. #helper {
  786. z-index: 300;
  787. top: 50%;
  788. position: absolute;
  789. left: 50%;
  790. margin-left: -220px;
  791. margin-top: -35px;
  792. width: 400px;
  793. text-align: center;
  794. color: #ddd;
  795. font-size: 18px;
  796. font-weight: bold;
  797. text-shadow: 0 -1px 0 #111;
  798. padding: 20px;
  799. background: rgba(0, 0, 0, 0.6);
  800. border-radius: 40px;
  801. }
  802. #overlay {
  803. z-index: 2000;
  804. background: transparent;
  805. position: fixed;
  806. top: 0;
  807. left: 0;
  808. right: 0;
  809. bottom: 0;
  810. }
  811. .growl {
  812. position: fixed;
  813. top: 10px;
  814. right: 10px;
  815. margin: 0;
  816. z-index: 2001;
  817. width: 200px;
  818. height:auto;
  819. padding: 15px;
  820. background-image: -webkit-linear-gradient(rgba(255,255,255,1), rgba(235,235,235,1));
  821. background-image: -moz-linear-gradient(rgba(255,255,255,1), rgba(235,235,235,1));
  822. background-image: -o-linear-gradient(rgba(255,255,255,1), rgba(235,235,235,1));
  823. background-image: linear-gradient(rgba(255,255,255,1), rgba(235,235,235,1));
  824. border: 1px solid #aaa;
  825. border-radius: 8px;
  826. box-shadow: 0 0 3px #ccc;
  827. font-weight: bold;
  828. text-shadow: 0px 2px 1px #fff;
  829. }
  830. .confirmation, .dialog {
  831. z-index: 2001;
  832. background: rgba(243, 243, 243, 0.9);
  833. background-image: -webkit-linear-gradient(top, rgba(0, 0, 0, 0.2) 0%, rgba(0, 0, 0, 0) 5px, transparent 6px);
  834. background-image: -moz-linear-gradient(top, rgba(0, 0, 0, 0.2) 0%, rgba(0, 0, 0, 0) 5px, transparent 6px);
  835. background-image: -o-linear-gradient(top, rgba(0, 0, 0, 0.2) 0%, rgba(0, 0, 0, 0) 5px, transparent 6px);
  836. background-image: linear-gradient(top, rgba(0, 0, 0, 0.2) 0%, rgba(0, 0, 0, 0) 5px, transparent 6px);
  837. padding: 20px;
  838. width: 250px;
  839. position: fixed;
  840. top: -500px;
  841. left: 50%;
  842. margin-left: -135px;
  843. box-shadow: 0 0 6px #333;
  844. transition: top .2s;
  845. -webkit-transition: top .2s;
  846. -moz-transition: top .2s;
  847. -o-transition: top .2s;
  848. .head {
  849. display: block;
  850. }
  851. .hl_widget {
  852. .form-group {
  853. padding: 0;
  854. border: 0;
  855. }
  856. }
  857. .nav {
  858. border: 1px solid #999;
  859. span {
  860. font-size: 11px;
  861. font-weight: normal;
  862. }
  863. }
  864. .title {
  865. font-size: 16px;
  866. margin-bottom: 15px;
  867. }
  868. &.large {
  869. width: 400px;
  870. margin-left: -220px;
  871. textarea {
  872. width: 385px;
  873. height: 200px;
  874. }
  875. }
  876. textarea {
  877. display: block;
  878. width: 235px;
  879. }
  880. input[type="text"] {
  881. margin: 5px 0;
  882. width: 390px;
  883. }
  884. .progress {
  885. height: 5px;
  886. .progress-bar {
  887. background-color: #e9eaf5;
  888. background-image: -webkit-linear-gradient(top, #B1BDD5, #8999b8);
  889. background-image: -moz-linear-gradient(top, #B1BDD5, #8999b8);
  890. background-image: -o-linear-gradient(top, #B1BDD5, #8999b8);
  891. background-image: linear-gradient(top, #B1BDD5, #8999b8);
  892. }
  893. }
  894. span {
  895. font-size: 13px;
  896. font-weight: bold;
  897. }
  898. .buttons {
  899. text-align: right;
  900. margin-top: 20px;
  901. }
  902. &.active {
  903. top: 0;
  904. }
  905. }
  906. .button {
  907. border-radius: 3px !important;
  908. background: #ccc;
  909. border: 1px solid #9B9B9B;
  910. height: 20px;
  911. border-radius: 5px;
  912. min-width: 68px;
  913. padding: 0 10px;
  914. text-align: center;
  915. margin: 0;
  916. margin-left: 10px;
  917. background: -webkit-linear-gradient(bottom, rgba(0, 0, 0, .09) 0%, rgba(0, 0, 0, 0.02) 50%, rgba(0, 0, 0, .04) 50.5%, rgba(0, 0, 0, .04) 100%) #fff;
  918. background: -moz-linear-gradient(bottom, rgba(0, 0, 0, .09) 0%, rgba(0, 0, 0, 0.02) 50%, rgba(0, 0, 0, .04) 50.5%, rgba(0, 0, 0, .04) 100%) #fff;
  919. background: -o-linear-gradient(bottom, rgba(0, 0, 0, .09) 0%, rgba(0, 0, 0, 0.02) 50%, rgba(0, 0, 0, .04) 50.5%, rgba(0, 0, 0, .04) 100%) #fff;
  920. background: -ms-linear-gradient(bottom, rgba(0, 0, 0, .09) 0%, rgba(0, 0, 0, 0.02) 50%, rgba(0, 0, 0, .04) 50.5%, rgba(0, 0, 0, .04) 100%) #fff;
  921. background: linear-gradient(bottom, rgba(0, 0, 0, .09) 0%, rgba(0, 0, 0, 0.02) 50%, rgba(0, 0, 0, .04) 50.5%, rgba(0, 0, 0, .04) 100%) #fff;
  922. font: 13px "Lucida Grande", Lucida, Verdana, sans-serif;
  923. }
  924. .button.default {
  925. border-top: 1px solid #535273;
  926. border: 1px solid #4F4D67;
  927. border-bottom: 1px solid #4B4B58;
  928. background: -webkit-linear-gradient(bottom, rgba(255, 255, 255, .5) 0%, rgba(255, 255, 255, 0.1) 50%, rgba(255, 255, 255, .3) 50.5%, rgba(255, 255, 255, .45) 95%, rgba(255, 255, 255, .8) 100%) #b1bdd5;
  929. background: -moz-linear-gradient(bottom, rgba(255, 255, 255, .5) 0%, rgba(255, 255, 255, 0.1) 50%, rgba(255, 255, 255, .3) 50.5%, rgba(255, 255, 255, .45) 95%, rgba(255, 255, 255, .8) 100%) #b1bdd5;
  930. background: -o-linear-gradient(bottom, rgba(255, 255, 255, .5) 0%, rgba(255, 255, 255, 0.1) 50%, rgba(255, 255, 255, .3) 50.5%, rgba(255, 255, 255, .45) 95%, rgba(255, 255, 255, .8) 100%) #b1bdd5;
  931. background: -ms-linear-gradient(bottom, rgba(255, 255, 255, .5) 0%, rgba(255, 255, 255, 0.1) 50%, rgba(255, 255, 255, .3) 50.5%, rgba(255, 255, 255, .45) 95%, rgba(255, 255, 255, .8) 100%) #b1bdd5;
  932. background: linear-gradient(bottom, rgba(255, 255, 255, .5) 0%, rgba(255, 255, 255, 0.1) 50%, rgba(255, 255, 255, .3) 50.5%, rgba(255, 255, 255, .45) 95%, rgba(255, 255, 255, .8) 100%) #b1bdd5;
  933. -moz-box-shadow: 0 0 3px rgba(69, 113, 184, 0.8);
  934. -webkit-box-shadow: 0 0 5px rgba(69, 113, 184, 0.44);
  935. box-shadow: 0 0 5px rgba(69, 113, 184, 0.44);
  936. }
  937. .button:hover {
  938. cursor: pointer;
  939. border: 1px solid rgba(0, 0, 0, .6);
  940. }
  941. .button:active {
  942. -webkit-box-shadow: inset 0 0 5px rgba(0, 0, 0, .5);
  943. -moz-box-shadow: inset 0 0 5px rgba(0, 0, 0, .5);
  944. box-shadow: inset 0 0 5px rgba(0, 0, 0, .5);
  945. }
  946. .button:focus {
  947. outline: 0;
  948. border-color: #08C;
  949. box-shadow: 0 0 5px #08C;
  950. }
  951. .doc {
  952. background: white;
  953. }
  954. .doc code .doc pre, .doc p, .doc div {
  955. font-size: 13px;
  956. }
  957. .doc code {
  958. padding: 1px 4px;
  959. }
  960. .doc .head {
  961. background: #666;
  962. padding: 10px;
  963. font-size: 22px;
  964. color: white;
  965. }
  966. .focused .doc .head {
  967. background: #08c;
  968. }
  969. .doc .button {
  970. float: right;
  971. }
  972. .doc .markdown,
  973. .doc .inheritance {
  974. padding: 10px;
  975. }
  976. .doc h1 {
  977. font-size: 22px;
  978. margin: 0 10px;
  979. border-bottom: 1px solid #666;
  980. }
  981. .doc h2 {
  982. font-size: 16px;
  983. }
  984. .transcript_container .list-label {
  985. height: 16px;
  986. position: absolute;
  987. top: 0;
  988. right: 0;
  989. left: 0;
  990. }
  991. .transcript {
  992. position: absolute;
  993. top: 17px;
  994. bottom: 0;
  995. left: 0;
  996. right: 0;
  997. }
  998. .transcript textarea {
  999. width: 100%;
  1000. height: 100%;
  1001. margin: 0;
  1002. padding: 0;
  1003. border: 0;
  1004. }
  1005. .hl_debugger {
  1006. .tool_container {
  1007. top: 53px;
  1008. }
  1009. .head {
  1010. position: absolute;
  1011. top: 23px;
  1012. width: 100%;
  1013. background: #08c url(debugger.png) 10px center no-repeat;
  1014. border-bottom: 1px solid white;
  1015. h2 {
  1016. font-size: 14px;
  1017. line-height: 30px;
  1018. padding: 0 30px;
  1019. margin: 0;
  1020. color: white;
  1021. }
  1022. }
  1023. }
  1024. .progress {
  1025. border-radius: 0;
  1026. }
  1027. }