code.css 2.7 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111
  1. /*
  2. This file is part of the DITA Open Toolkit project.
  3. See the accompanying LICENSE file for applicable license.
  4. Copyright (c) 2006, Yahoo! Inc. All rights reserved.
  5. Code licensed under the BSD License:
  6. http://developer.yahoo.net/yui/license.txt
  7. version: 0.10.0
  8. */
  9. /* Main style for the table */
  10. .dp-highlighter {
  11. width: 95%;
  12. overflow: auto;
  13. line-height: 100% !important;
  14. margin: 0px 0px 10px 0px;
  15. }
  16. .dp-highlighter table {
  17. width: 100%;
  18. margin: 0px 0px 2px 0px;
  19. border-collapse: collapse;
  20. border-bottom: 2px solid #eee;
  21. background-color:#fff;
  22. }
  23. .dp-highlighter tbody.hide { display: none; }
  24. .dp-highlighter tbody.show { display: table-row-group; _display: block; }
  25. .dp-highlighter td
  26. {
  27. font-family: Arial;
  28. font-size: 12px;
  29. }
  30. /* Styles for the tools */
  31. .dp-highlighter .tools-corner {
  32. background-color: #eee;
  33. font-size: 9px;
  34. }
  35. .dp-highlighter .tools {
  36. background-color: #eee;
  37. padding: 3px 8px 3px 10px;
  38. border-bottom: 1px solid gray;
  39. font: 11px Verdana, Geneva, Arial, Helvetica, sans-serif;
  40. color: silver;
  41. }
  42. .dp-highlighter .tools-corner {
  43. background-color: #eee;
  44. }
  45. .dp-highlighter .tools a {
  46. font-size: 9px;
  47. color: #aaaaaa;
  48. text-decoration: none;
  49. }
  50. .dp-highlighter .tools a:hover {
  51. color: red;
  52. text-decoration: underline;
  53. }
  54. /* Gutter with line number */
  55. .dp-highlighter .gutter {
  56. padding-right: 5px;
  57. padding-left: 10px;
  58. width: 5px;
  59. background-color: #eee;
  60. border-right: 1px solid #cccccc;
  61. color: gray;
  62. text-align: right;
  63. vertical-align: top;
  64. }
  65. /* Single line style */
  66. .dp-highlighter .line1, .line2 {
  67. padding-left: 10px;
  68. /*
  69. border-bottom: 1px solid #F7F7F7;
  70. */
  71. white-space:nowrap;
  72. }
  73. .dp-highlighter .line2 {
  74. /*
  75. background-color: #F7F7F7;
  76. */
  77. }
  78. .dp-xml {}
  79. .dp-xml .cdata { color: #ff1493; }
  80. .dp-xml .comments { color: green; }
  81. .dp-xml .tag { color: blue; }
  82. .dp-xml .tag-name { color: black; font-weight: bold; }
  83. .dp-xml .attribute { color: red; }
  84. .dp-xml .attribute-value { color: blue; }
  85. .dp-c {}
  86. .dp-c .comment { color: green; }
  87. .dp-c .string { color: blue; }
  88. .dp-c .preprocessor { color: gray; }
  89. .dp-c .keyword { color: blue; }
  90. .dp-c .vars { color: #d00; }