helios.less 23 KB

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