helios.less 23 KB

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