Guest User

Untitled

a guest
Jun 25th, 2018
89
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 16.42 KB | None | 0 0
  1. .default {
  2. background-color: DarkSlateGray;
  3. color: palegreen;
  4. font-style: normal;
  5. font-weight: normal;
  6. font-stretch: normal;
  7. font-family: "outline-lucida sans typewriter";
  8. }
  9. unknown {
  10. // background-mode: dark;
  11. // border-color: black;
  12. // cursor-color: khaki;
  13. // mouse-color: black;
  14. // display-time-mail-face: mode-line;
  15. // gnus-article-button-face: bold;
  16. // gnus-article-mouse-face: highlight;
  17. // gnus-mouse-face: highlight;
  18. // help-highlight-face: underline;
  19. // ibuffer-deletion-face: font-lock-type-face;
  20. // ibuffer-filter-group-name-face: bold;
  21. // ibuffer-marked-face: font-lock-warning-face;
  22. // ibuffer-title-face: font-lock-type-face;
  23. // list-matching-lines-buffer-name-face: underline;
  24. // list-matching-lines-face: bold;
  25. // semantic-which-function-use-color: true;
  26. // senator-eldoc-use-color: true;
  27. // view-highlight-face: highlight;
  28. // widget-mouse-face: highlight;
  29. }
  30. .bg:erc-color-face0 {
  31. background-color: White;
  32. }
  33. .bg:erc-color-face1 {
  34. background-color: black;
  35. }
  36. .bg:erc-color-face10 {
  37. background-color: lightblue1;
  38. }
  39. .bg:erc-color-face11 {
  40. background-color: cyan;
  41. }
  42. .bg:erc-color-face12 {
  43. background-color: blue;
  44. }
  45. .bg:erc-color-face13 {
  46. background-color: deeppink;
  47. }
  48. .bg:erc-color-face14 {
  49. background-color: gray50;
  50. }
  51. .bg:erc-color-face15 {
  52. background-color: gray90;
  53. }
  54. .bg:erc-color-face2 {
  55. background-color: blue4;
  56. }
  57. .bg:erc-color-face3 {
  58. background-color: green4;
  59. }
  60. .bg:erc-color-face4 {
  61. background-color: red;
  62. }
  63. .bg:erc-color-face5 {
  64. background-color: brown;
  65. }
  66. .bg:erc-color-face6 {
  67. background-color: purple;
  68. }
  69. .bg:erc-color-face7 {
  70. background-color: orange;
  71. }
  72. .bg:erc-color-face8 {
  73. background-color: yellow;
  74. }
  75. .bg:erc-color-face9 {
  76. background-color: green;
  77. }
  78. .bold {
  79. font-weight: bold;
  80. }
  81. .bold-italic {
  82. font-style: italic;
  83. font-weight: bold;
  84. }
  85. .border {
  86. background-color: black;
  87. }
  88. .button {
  89. border-bottom-style: solid;
  90. border-bottom-width: thin;
  91. }
  92. .comint-highlight-input {
  93. font-weight: bold;
  94. }
  95. .comint-highlight-prompt {
  96. color: cyan;
  97. }
  98. .cursor {
  99. background-color: khaki;
  100. }
  101. .custom-button-face {
  102. background-color: lightgrey;
  103. color: black;
  104. border-width: 2;
  105. border-style: outset;
  106. }
  107. .custom-button-pressed-face {
  108. background-color: lightgrey;
  109. color: black;
  110. border-width: 2;
  111. border-style: inset;
  112. }
  113. .custom-changed-face {
  114. background-color: blue;
  115. color: white;
  116. }
  117. .custom-comment-face {
  118. background-color: dim gray;
  119. }
  120. .custom-comment-tag-face {
  121. color: gray80;
  122. }
  123. .custom-face-tag-face {
  124. font-weight: bold;
  125. font-family: "helv";
  126. font-size: 1.2;
  127. }
  128. .custom-group-tag-face {
  129. font-weight: bold;
  130. color: light blue;
  131. font-size: 1.2;
  132. }
  133. .custom-group-tag-face-1 {
  134. font-weight: bold;
  135. font-family: "helv";
  136. color: pink;
  137. font-size: 1.2;
  138. }
  139. .custom-invalid-face {
  140. background-color: red;
  141. color: yellow;
  142. }
  143. .custom-modified-face {
  144. background-color: blue;
  145. color: white;
  146. }
  147. .custom-rogue-face {
  148. background-color: black;
  149. color: pink;
  150. }
  151. .custom-saved-face {
  152. border-bottom-style: solid;
  153. border-bottom-width: thin;
  154. }
  155. .custom-set-face {
  156. background-color: white;
  157. color: blue;
  158. }
  159. .custom-state-face {
  160. color: lime green;
  161. }
  162. .custom-variable-button-face {
  163. font-weight: bold;
  164. border-bottom-style: solid;
  165. border-bottom-width: thin;
  166. }
  167. .custom-variable-tag-face {
  168. font-weight: bold;
  169. font-family: "helv";
  170. color: light blue;
  171. font-size: 1.2;
  172. }
  173. .erc-action-face {
  174. font-weight: bold;
  175. border-width: 2;
  176. border-color: grey75;
  177. }
  178. .erc-bold-face {
  179. font-weight: bold;
  180. }
  181. .erc-direct-msg-face {
  182. color: IndianRed;
  183. }
  184. .erc-error-face {
  185. background-color: Red;
  186. color: White;
  187. }
  188. .erc-input-face {
  189. color: lightblue;
  190. }
  191. .erc-inverse-face {
  192. background-color: Black;
  193. color: White;
  194. }
  195. .erc-notice-face {
  196. font-weight: bold;
  197. color: dodgerblue;
  198. }
  199. .erc-prompt-face {
  200. font-weight: bold;
  201. background-color: black;
  202. color: white;
  203. }
  204. .erc-timestamp-face {
  205. font-weight: bold;
  206. color: green;
  207. }
  208. .erc-underline-face {
  209. border-bottom-style: solid;
  210. border-bottom-width: thin;
  211. }
  212. .eshell-ls-archive-face {
  213. font-weight: bold;
  214. color: Orchid;
  215. }
  216. .eshell-ls-backup-face {
  217. color: LightSalmon;
  218. }
  219. .eshell-ls-clutter-face {
  220. font-weight: bold;
  221. color: OrangeRed;
  222. }
  223. .eshell-ls-directory-face {
  224. font-weight: bold;
  225. color: SkyBlue;
  226. }
  227. .eshell-ls-executable-face {
  228. font-weight: bold;
  229. color: Green;
  230. }
  231. .eshell-ls-missing-face {
  232. font-weight: bold;
  233. color: Red;
  234. }
  235. .eshell-ls-product-face {
  236. color: LightSalmon;
  237. }
  238. .eshell-ls-readonly-face {
  239. color: Pink;
  240. }
  241. .eshell-ls-special-face {
  242. font-weight: bold;
  243. color: Magenta;
  244. }
  245. .eshell-ls-symlink-face {
  246. font-weight: bold;
  247. color: Cyan;
  248. }
  249. .eshell-ls-unreadable-face {
  250. color: DarkGrey;
  251. }
  252. .eshell-prompt-face {
  253. font-weight: bold;
  254. color: Pink;
  255. }
  256. .fg:erc-color-face0 {
  257. color: White;
  258. }
  259. .fg:erc-color-face1 {
  260. color: black;
  261. }
  262. .fg:erc-color-face10 {
  263. color: lightblue1;
  264. }
  265. .fg:erc-color-face11 {
  266. color: cyan;
  267. }
  268. .fg:erc-color-face12 {
  269. color: blue;
  270. }
  271. .fg:erc-color-face13 {
  272. color: deeppink;
  273. }
  274. .fg:erc-color-face14 {
  275. color: gray50;
  276. }
  277. .fg:erc-color-face15 {
  278. color: gray90;
  279. }
  280. .fg:erc-color-face2 {
  281. color: blue4;
  282. }
  283. .fg:erc-color-face3 {
  284. color: green4;
  285. }
  286. .fg:erc-color-face4 {
  287. color: red;
  288. }
  289. .fg:erc-color-face5 {
  290. color: brown;
  291. }
  292. .fg:erc-color-face6 {
  293. color: purple;
  294. }
  295. .fg:erc-color-face7 {
  296. color: orange;
  297. }
  298. .fg:erc-color-face8 {
  299. color: yellow;
  300. }
  301. .fg:erc-color-face9 {
  302. color: green;
  303. }
  304. .fixed-pitch {
  305. font-family: "courier";
  306. }
  307. .builtin {
  308. font-weight: bold;
  309. color: pink;
  310. font-size: 1.1;
  311. }
  312. .comment {
  313. color: violet;
  314. font-size: 1;
  315. }
  316. .constant {
  317. font-weight: bold;
  318. color: tomato;
  319. font-size: 1;
  320. }
  321. .function-name {
  322. font-weight: bold;
  323. color: DodgerBlue;
  324. }
  325. .keyword {
  326. font-weight: bold;
  327. color: turquoise;
  328. }
  329. .preprocessor {
  330. font-weight: bold;
  331. color: tomato;
  332. font-size: 1;
  333. }
  334. .reference {
  335. font-weight: bold;
  336. color: pink;
  337. font-size: 1.1;
  338. }
  339. .string {
  340. color: red;
  341. font-size: 1;
  342. }
  343. .type {
  344. color: lightblue3;
  345. }
  346. .variable-name {
  347. font-weight: bold;
  348. color: gray;
  349. font-size: 1;
  350. }
  351. .warning {
  352. font-weight: bold;
  353. foreground-color: Pink;
  354. }
  355. .inspecting {
  356. border-color: Pink;
  357. }
  358. .fringe {
  359. background-color: DarkSlateGray;
  360. }
  361. .gnus-cite-attribution-face {
  362. font-style: italic;
  363. }
  364. .gnus-cite-face-1 {
  365. color: light blue;
  366. }
  367. .gnus-cite-face-10 {
  368. color: medium purple;
  369. }
  370. .gnus-cite-face-11 {
  371. color: turquoise;
  372. }
  373. .gnus-cite-face-2 {
  374. color: light cyan;
  375. }
  376. .gnus-cite-face-3 {
  377. color: light yellow;
  378. }
  379. .gnus-cite-face-4 {
  380. color: light pink;
  381. }
  382. .gnus-cite-face-5 {
  383. color: pale green;
  384. }
  385. .gnus-cite-face-6 {
  386. color: beige;
  387. }
  388. .gnus-cite-face-7 {
  389. color: orange;
  390. }
  391. .gnus-cite-face-8 {
  392. color: magenta;
  393. }
  394. .gnus-cite-face-9 {
  395. color: violet;
  396. }
  397. .gnus-emphasis-bold {
  398. font-weight: bold;
  399. }
  400. .gnus-emphasis-bold-italic {
  401. font-style: italic;
  402. font-weight: bold;
  403. }
  404. .gnus-emphasis-highlight-words {
  405. background-color: black;
  406. color: yellow;
  407. }
  408. .gnus-emphasis-italic {
  409. font-style: italic;
  410. }
  411. .gnus-emphasis-underline {
  412. border-bottom-style: solid;
  413. border-bottom-width: thin;
  414. }
  415. .gnus-emphasis-underline-bold {
  416. font-weight: bold;
  417. border-bottom-style: solid;
  418. border-bottom-width: thin;
  419. }
  420. .gnus-emphasis-underline-bold-italic {
  421. font-style: italic;
  422. border-bottom-style: solid;
  423. border-bottom-width: thin;
  424. font-weight: bold;
  425. }
  426. .gnus-emphasis-underline-italic {
  427. font-style: italic;
  428. border-bottom-style: solid;
  429. border-bottom-width: thin;
  430. }
  431. .gnus-group-mail-1-empty-face {
  432. color: aquamarine1;
  433. }
  434. .gnus-group-mail-1-face {
  435. font-weight: bold;
  436. color: aquamarine1;
  437. }
  438. .gnus-group-mail-2-empty-face {
  439. color: aquamarine2;
  440. }
  441. .gnus-group-mail-2-face {
  442. font-weight: bold;
  443. color: aquamarine2;
  444. }
  445. .gnus-group-mail-3-empty-face {
  446. color: aquamarine3;
  447. }
  448. .gnus-group-mail-3-face {
  449. font-weight: bold;
  450. color: aquamarine3;
  451. }
  452. .gnus-group-mail-low-empty-face {
  453. color: aquamarine4;
  454. }
  455. .gnus-group-mail-low-face {
  456. font-weight: bold;
  457. color: aquamarine4;
  458. }
  459. .gnus-group-news-1-empty-face {
  460. color: PaleTurquoise;
  461. }
  462. .gnus-group-news-1-face {
  463. font-weight: bold;
  464. color: PaleTurquoise;
  465. }
  466. .gnus-group-news-2-empty-face {
  467. color: turquoise;
  468. }
  469. .gnus-group-news-2-face {
  470. font-weight: bold;
  471. color: turquoise;
  472. }
  473. .gnus-group-news-3-face {
  474. font-weight: bold;
  475. }
  476. .gnus-group-news-4-face {
  477. font-weight: bold;
  478. }
  479. .gnus-group-news-5-face {
  480. font-weight: bold;
  481. }
  482. .gnus-group-news-6-face {
  483. font-weight: bold;
  484. }
  485. .gnus-group-news-low-empty-face {
  486. color: DarkTurquoise;
  487. }
  488. .gnus-group-news-low-face {
  489. font-weight: bold;
  490. color: DarkTurquoise;
  491. }
  492. .gnus-header-content-face {
  493. font-style: italic;
  494. color: forest green;
  495. }
  496. .gnus-header-from-face {
  497. color: spring green;
  498. }
  499. .gnus-header-name-face {
  500. color: SeaGreen;
  501. }
  502. .gnus-header-newsgroups-face {
  503. font-style: italic;
  504. color: yellow;
  505. }
  506. .gnus-header-subject-face {
  507. color: SeaGreen3;
  508. }
  509. .gnus-signature-face {
  510. font-style: italic;
  511. }
  512. .gnus-splash-face {
  513. color: Brown;
  514. }
  515. .gnus-summary-cancelled-face {
  516. background-color: black;
  517. color: yellow;
  518. }
  519. .gnus-summary-high-ancient-face {
  520. font-weight: bold;
  521. color: SkyBlue;
  522. }
  523. .gnus-summary-high-read-face {
  524. font-weight: bold;
  525. color: PaleGreen;
  526. }
  527. .gnus-summary-high-ticked-face {
  528. font-weight: bold;
  529. color: pink;
  530. }
  531. .gnus-summary-high-unread-face {
  532. font-weight: bold;
  533. }
  534. .gnus-summary-low-ancient-face {
  535. font-style: italic;
  536. color: SkyBlue;
  537. }
  538. .gnus-summary-low-read-face {
  539. font-style: italic;
  540. color: PaleGreen;
  541. }
  542. .gnus-summary-low-ticked-face {
  543. font-style: italic;
  544. color: pink;
  545. }
  546. .gnus-summary-low-unread-face {
  547. font-style: italic;
  548. }
  549. .gnus-summary-normal-ancient-face {
  550. color: SkyBlue;
  551. }
  552. .gnus-summary-normal-read-face {
  553. color: PaleGreen;
  554. }
  555. .gnus-summary-normal-ticked-face {
  556. color: pink;
  557. }
  558. .gnus-summary-selected-face {
  559. border-bottom-style: solid;
  560. border-bottom-width: thin;
  561. }
  562. .header-line {
  563. border-bottom-color: blueviolet;
  564. border-bottom-style: solid;
  565. border-bottom-width: thin;
  566. border-top-color: blueviolet;
  567. border-top-style: solid;
  568. border-top-width: thin;
  569. border-width: -1;
  570. border-style: outset;
  571. background-color: grey20;
  572. color: grey90;
  573. }
  574. .highlight {
  575. background-color: darkolivegreen;
  576. }
  577. .html-helper-bold-face {
  578. font-weight: bold;
  579. color: wheat;
  580. }
  581. .html-helper-italic-face {
  582. font-style: italic;
  583. color: spring green;
  584. }
  585. .html-helper-underline-face {
  586. color: cornsilk;
  587. border-bottom-style: solid;
  588. border-bottom-width: thin;
  589. }
  590. .html-tag-face {
  591. font-weight: bold;
  592. color: deep sky blue;
  593. }
  594. .isearch {
  595. background-color: palevioletred2;
  596. color: brown4;
  597. }
  598. .isearch-lazy-highlight-face {
  599. background-color: paleturquoise4;
  600. }
  601. .italic {
  602. font-style: italic;
  603. }
  604. .jde-bug-breakpoint-cursor {
  605. background-color: brown;
  606. color: cyan;
  607. }
  608. .jde-db-active-breakpoint-face {
  609. background-color: red;
  610. color: black;
  611. }
  612. .jde-db-requested-breakpoint-face {
  613. background-color: yellow;
  614. color: black;
  615. }
  616. .jde-db-spec-breakpoint-face {
  617. background-color: green;
  618. color: black;
  619. }
  620. .jde-java-font-lock-api-face {
  621. color: light goldenrod;
  622. }
  623. .jde-java-font-lock-bold-face {
  624. font-weight: bold;
  625. }
  626. .jde-java-font-lock-constant-face {
  627. color: Aquamarine;
  628. }
  629. .jde-java-font-lock-doc-tag-face {
  630. color: light coral;
  631. }
  632. .jde-java-font-lock-italic-face {
  633. font-style: italic;
  634. }
  635. .jde-java-font-lock-link-face {
  636. color: blue;
  637. border-bottom-style: solid;
  638. border-bottom-width: thin;
  639. font-style: normal;
  640. }
  641. .jde-java-font-lock-modifier-face {
  642. color: LightSteelBlue;
  643. }
  644. .jde-java-font-lock-number-face {
  645. color: LightSalmon;
  646. }
  647. .jde-java-font-lock-operator-face {
  648. color: medium blue;
  649. }
  650. .jde-java-font-lock-package-face {
  651. color: steelblue1;
  652. }
  653. .jde-java-font-lock-underline-face {
  654. border-bottom-style: solid;
  655. border-bottom-width: thin;
  656. }
  657. .message-cited-text-face {
  658. color: red;
  659. }
  660. .message-header-cc-face {
  661. font-weight: bold;
  662. color: green4;
  663. }
  664. .message-header-name-face {
  665. color: DarkGreen;
  666. }
  667. .message-header-newsgroups-face {
  668. font-style: italic;
  669. color: yellow;
  670. font-weight: bold;
  671. }
  672. .message-header-other-face {
  673. color: #b00000;
  674. }
  675. .message-header-subject-face {
  676. color: green3;
  677. }
  678. .message-header-to-face {
  679. font-weight: bold;
  680. color: green2;
  681. }
  682. .message-header-xheader-face {
  683. color: blue;
  684. }
  685. .message-mml-face {
  686. color: ForestGreen;
  687. }
  688. .message-separator-face {
  689. color: blue3;
  690. }
  691. .minibuffer-prompt {
  692. color: cyan;
  693. }
  694. .mode-line {
  695. background-color: Darkslategray;
  696. color: white;
  697. border-width: -1;
  698. border-style: outset;
  699. border-top-color: blueviolet;
  700. border-top-style: solid;
  701. border-top-width: thin;
  702. border-bottom-color: blueviolet;
  703. border-bottom-style: solid;
  704. border-bottom-width: thin;
  705. }
  706. .mode-line-inactive {
  707. font-style: oblique;
  708. border-bottom-color: blueviolet;
  709. border-bottom-style: solid;
  710. border-bottom-width: thin;
  711. border-top-color: blueviolet;
  712. border-top-style: solid;
  713. border-top-width: thin;
  714. background-color: white;
  715. color: cadetblue;
  716. border-width: -1;
  717. border-color: grey75;
  718. font-weight: light;
  719. }
  720. .modeline {
  721. background-color: Darkslategray;
  722. color: white;
  723. border-width: -1;
  724. border-style: outset;
  725. border-top-color: blueviolet;
  726. border-top-style: solid;
  727. border-top-width: thin;
  728. border-bottom-color: blueviolet;
  729. border-bottom-style: solid;
  730. border-bottom-width: thin;
  731. }
  732. .modeline-buffer-id {
  733. background-color: Darkslategray;
  734. color: white;
  735. border-width: -1;
  736. border-style: outset;
  737. border-top-color: blueviolet;
  738. border-top-style: solid;
  739. border-top-width: thin;
  740. border-bottom-color: blueviolet;
  741. border-bottom-style: solid;
  742. border-bottom-width: thin;
  743. }
  744. .modeline-mousable {
  745. background-color: Darkslategray;
  746. color: white;
  747. border-width: -1;
  748. border-style: outset;
  749. border-top-color: blueviolet;
  750. border-top-style: solid;
  751. border-top-width: thin;
  752. border-bottom-color: blueviolet;
  753. border-bottom-style: solid;
  754. border-bottom-width: thin;
  755. }
  756. .modeline-mousable-minor-mode {
  757. background-color: Darkslategray;
  758. color: white;
  759. border-width: -1;
  760. border-style: outset;
  761. border-top-color: blueviolet;
  762. border-top-style: solid;
  763. border-top-width: thin;
  764. border-bottom-color: blueviolet;
  765. border-bottom-style: solid;
  766. border-bottom-width: thin;
  767. }
  768. .mouse {
  769. background-color: black;
  770. }
  771. .primary-selection {
  772. background-color: dimgray;
  773. }
  774. .region {
  775. background-color: dimgray;
  776. }
  777. .secondary-selection {
  778. background-color: SkyBlue4;
  779. }
  780. .semantic-dirty-token-face {
  781. background-color: lightyellow;
  782. }
  783. .semantic-unmatched-syntax-face {
  784. border-bottom-color: red;
  785. border-bottom-style: solid;
  786. border-bottom-width: thin;
  787. }
  788. .senator-intangible-face {
  789. color: gray75;
  790. }
  791. .senator-momentary-highlight-face {
  792. background-color: gray30;
  793. }
  794. .senator-read-only-face {
  795. background-color: #664444;
  796. }
  797. .show-paren-match-face {
  798. font-weight: bold;
  799. color: lightblue;
  800. font-size: 1.1;
  801. }
  802. .show-paren-mismatch-face {
  803. font-weight: bold;
  804. color: red;
  805. font-size: 1.1;
  806. }
  807. .show-tabs-space-face {
  808. color: yellow;
  809. }
  810. .show-tabs-tab-face {
  811. color: red;
  812. }
  813. .speedbar-button-face {
  814. color: green3;
  815. }
  816. .speedbar-directory-face {
  817. color: light blue;
  818. }
  819. .speedbar-file-face {
  820. color: cyan;
  821. }
  822. .speedbar-highlight-face {
  823. background-color: sea green;
  824. }
  825. .speedbar-selected-face {
  826. color: red;
  827. border-bottom-style: solid;
  828. border-bottom-width: thin;
  829. }
  830. .speedbar-tag-face {
  831. color: yellow;
  832. }
  833. .template-message-face {
  834. font-weight: bold;
  835. }
  836. .term-black {
  837. color: black;
  838. }
  839. .term-blackbg {
  840. background-color: black;
  841. }
  842. .term-blue {
  843. color: blue;
  844. }
  845. .term-bluebg {
  846. background-color: blue;
  847. }
  848. .term-bold {
  849. font-weight: bold;
  850. }
  851. .term-cyan {
  852. color: cyan;
  853. }
  854. .term-cyanbg {
  855. background-color: cyan;
  856. }
  857. .term-default {
  858. background-color: DarkSlateGray;
  859. color: palegreen;
  860. font-style: normal;
  861. font-weight: normal;
  862. font-stretch: normal;
  863. font-family: "outline-lucida sans typewriter";
  864. }
  865. .term-green {
  866. color: green;
  867. }
  868. .term-greenbg {
  869. background-color: green;
  870. }
  871. .term-magenta {
  872. color: magenta;
  873. }
  874. .term-magentabg {
  875. background-color: magenta;
  876. }
  877. .term-red {
  878. color: red;
  879. }
  880. .term-redbg {
  881. background-color: red;
  882. }
  883. .term-underline {
  884. border-bottom-style: solid;
  885. border-bottom-width: thin;
  886. }
  887. .term-white {
  888. color: white;
  889. }
  890. .term-whitebg {
  891. background-color: white;
  892. }
  893. .term-yellow {
  894. color: yellow;
  895. }
  896. .term-yellowbg {
  897. background-color: yellow;
  898. }
  899. .tool-bar {
  900. background-color: DarkSlateGray;
  901. color: White;
  902. border-width: 1;
  903. border-color: blue;
  904. }
  905. .tooltip {
  906. background-color: lightyellow;
  907. color: black;
  908. }
  909. .trailing-whitespace {
  910. background-color: red;
  911. }
  912. .underline {
  913. border-bottom-style: solid;
  914. border-bottom-width: thin;
  915. }
  916. .variable-pitch {
  917. font-family: "helv";
  918. }
  919. .widget-button-face {
  920. font-weight: bold;
  921. }
  922. .widget-button-pressed-face {
  923. color: red;
  924. }
  925. .widget-documentation-face {
  926. color: lime green;
  927. }
  928. .widget-field-face {
  929. background-color: dim gray;
  930. }
  931. .widget-inactive-face {
  932. color: light gray;
  933. }
  934. .widget-single-line-field-face {
  935. background-color: dim gray;
  936. }
  937. .zmacs-region {
  938. background-color: dimgray;
  939. }
Add Comment
Please, Sign In to add comment