code.css 2.9 KB

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