/vim/doc/latex-suite.css

https://bitbucket.org/vertespain/config · CSS · 182 lines · 162 code · 14 blank · 6 comment · 0 complexity · c24b78a271fd11c6cc96b8a0beda4edf MD5 · raw file

  1. /*
  2. * Authors: Srinath Avadhanula and Mikolaj Machowski
  3. * This style file borrows some elements from main.css, the style file used
  4. * in cream.sf.net
  5. *
  6. * */
  7. P {
  8. font-size : 12pt ;
  9. font-family : helvetica, arial, verdana, sans-serif ;
  10. vertical-align : top;
  11. }
  12. DT {
  13. font-size : 11pt ;
  14. font-family : helvetica, arial, verdana, sans-serif ;
  15. vertical-align : top;
  16. }
  17. LI {
  18. font-size : 12pt ;
  19. font-family : helvetica, arial, verdana, sans-serif ;
  20. vertical-align : top;
  21. }
  22. DIV.header {
  23. margin : 0.5cm ;
  24. width : 800px ;
  25. height : 100
  26. }
  27. .note {
  28. }
  29. TD {
  30. font-size : 11pt ;
  31. font-family : helvetica, arial, verdana, sans-serif ;
  32. vertical-align : top;
  33. }
  34. TD.menu {
  35. text-align : center ;
  36. font-family : verdana, helvetica, sans-serif
  37. }
  38. TD.footright {
  39. text-align : right ;
  40. font-size : 10pt ;
  41. font-family : verdana, helvetica, sans-serif
  42. }
  43. TD.leftpanel {
  44. font-size: 14px ;
  45. font-family: verdana, helvetica, sans-serif ;
  46. vertical-align: top ;
  47. width: 150px;
  48. padding: 15px;
  49. background-color: #88aaaa;
  50. }
  51. TD.mainpanel {
  52. font-size : 12pt ;
  53. font-family : helvetica, arial, verdana, sans-serif ;
  54. vertical-align : top;
  55. padding: 15px;
  56. }
  57. TD.footpanel {
  58. font-size: 12px ;
  59. font-family: verdana, helvetica, sans-serif ;
  60. vertical-align: top ;
  61. text-align: right;
  62. padding: 5px;
  63. background-color: #88aaaa;
  64. }
  65. .navigation {
  66. vertical-align: top;
  67. width: 150px;
  68. padding: 15px;
  69. background-color: #445555;
  70. color: #fffcfc;
  71. }
  72. .navheader {
  73. margin-top: -0.5em;
  74. margin-bottom: 0.5em;
  75. text-align: right;
  76. color: #446644;
  77. font-size: 14px;
  78. font-weight: bold;
  79. }
  80. SPAN.menu {
  81. text-align : center ;
  82. font-size : 12pt ;
  83. font-family : verdana, helvetica, sans-serif
  84. }
  85. DIV.merit {
  86. margin : 0.5cm ;
  87. width : 800px
  88. }
  89. TABLE.meritum {
  90. margin : 0.5cm ;
  91. border : 0
  92. }
  93. .foot {
  94. margin : 0.5cm ;
  95. width : 800px
  96. }
  97. .head {
  98. margin : 0.5cm ;
  99. }
  100. CODE {
  101. font-family: "Andale Mono", "Courier New", "Courier", monospace;
  102. background-color: #eef0f3;
  103. white-space: nowrap;
  104. }
  105. .singlesmall {
  106. font-size: 14px;
  107. }
  108. .doublesmall {
  109. font-size: 12px;
  110. }
  111. DIV.footer {
  112. margin : 0.5cm ;
  113. width : 800px
  114. }
  115. .qa {
  116. margin : 0.5cm ;
  117. font-size : 16px;
  118. font-weight : bold;
  119. }
  120. .ans {
  121. margin : 0.5cm ;
  122. font-weight : normal;
  123. }
  124. H2.hline {
  125. text-align : center ;
  126. font-family : verdana, helvetica, sans-serif
  127. }
  128. A.extlinks {
  129. font-size : 11pt ;
  130. font-family : verdana, helvetica, sans-serif ;
  131. font-weight : bold
  132. }
  133. TT {
  134. font-family: courier,sans-serif;
  135. font-size: 11pt;
  136. }
  137. PRE.programlisting {
  138. font-family: courier,sans-serif;
  139. font-size: 10pt;
  140. background-color:#eef0f3;
  141. border-color: #000000;
  142. border-width: 1px;
  143. border-style: solid;
  144. }
  145. SPAN.conflict {
  146. font-size : small ;
  147. font-family: courier,sans-serif;
  148. color : #DD4444;
  149. }
  150. HR.navig {
  151. color: #446644;
  152. height: 1px;
  153. margin-top: 1em;
  154. border-top: 0px; /* Mozilla work-around to eliminate "groove" */
  155. }
  156. A.question {
  157. color: #000000;
  158. height: 1px;
  159. margin-top: 1em;
  160. border-top: 0px; /* Mozilla work-around to eliminate "groove" */
  161. }
  162. A.question:hover {
  163. color: #000000;
  164. background-color: #eef0f3;
  165. height: 1px;
  166. margin-top: 1em;
  167. border-top: 0px; /* Mozilla work-around to eliminate "groove" */
  168. }