re.css 4.1 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250
  1. body{
  2. background-color:white;
  3. }
  4. .JMTitleHeading {
  5. font-family: "Times New Roman", "Times", "serif";
  6. font-size: 36px;
  7. font-style: italic;
  8. font-weight: bold;
  9. color: #000000;
  10. margin-bottom: 30px;
  11. }
  12. .JMHeading1{
  13. font-family: "Times New Roman";
  14. font-size: 20px;
  15. font-weight: bold;
  16. color: #000000;
  17. padding-bottom: 3px;
  18. text-indent: 0px;
  19. }
  20. .JMHeading2{
  21. font-family: "Verdana";
  22. font-size: 12px;
  23. font-weight: bold;
  24. color: #1E5388;
  25. background-color: #E9F0F8;
  26. padding-top: 5px;
  27. padding-bottom: 3px;
  28. margin-top: 30px;
  29. }
  30. .JMHeading3{
  31. font-family: "Verdana", "Arial", "Helvetica", "sans-serif";
  32. font-size: 12px;
  33. font-weight: bold;
  34. color: #1E5388;
  35. }
  36. .JMHeading4{
  37. font-family: "Verdana", "Arial", "Helvetica", "sans-serif";
  38. font-size: 12px;
  39. font-weight: bold;
  40. text-indent:12px;
  41. margin-top: 20px;
  42. margin-bottom: 0px;
  43. color: #000000;
  44. }
  45. .JMNormalText{
  46. font-family: "Verdana", "Arial", "Helvetica", "sans-serif";
  47. font-size: 12px;
  48. line-height: 130%;
  49. margin-top: 10px;
  50. margin-bottom: 5px;
  51. margin-left:12px;
  52. }
  53. .JMNormalTextNoIndent{
  54. font-family: "Verdana", "Arial", "Helvetica", "sans-serif";
  55. font-size: 12px;
  56. text-indent: 0px;
  57. line-height: 130%;
  58. margin-top: 10px;
  59. margin-bottom: 5px;
  60. }
  61. .JMJavaCode, .JMXML, .JMJavaCodeNoIndent, JMXMLNoIndent {
  62. font-family: "Courier New", "Courier", "mono";
  63. font-size: 12px;
  64. line-height: 130%;
  65. color: #666666;
  66. background-color: #F6F6F6;
  67. white-space: nowrap;
  68. padding: 10px;
  69. border: 1px solid #000000;
  70. margin-bottom: 5px;
  71. text-indent:0px;
  72. margin-top: 5px;
  73. }
  74. .JMXMLNoBox, JMJavaNoBox {
  75. font-family: "Courier New", "Courier", "mono";
  76. font-size: 12px;
  77. line-height: 130%;
  78. color: #666666;
  79. background-color: #F6F6F6;
  80. white-space: nowrap;
  81. padding: 10px;
  82. margin-bottom: 5px;
  83. text-indent:0px;
  84. margin-top: 5px;
  85. }
  86. .JMNoteWarning {
  87. font-family: "Verdana", "Arial", "Helvetica", "sans-serif";
  88. font-size: 12px;
  89. line-height: 130%;
  90. margin: 20px 0px 10px 0px;
  91. color: #000000;
  92. border-top: 2px solid #000000;
  93. border-bottom: 1px solid #000000;
  94. padding-top:10px;
  95. padding-bottom:10px;
  96. }
  97. .JMFileNameReference {
  98. font-family: "Times New Roman";
  99. font-style: italic;
  100. font-size: 14px;
  101. margin-bottom: 0px;
  102. text-align: center;
  103. }
  104. .JMCaption{
  105. font-family: "Times New Roman";
  106. font-size: 14px;
  107. font-style: italic;
  108. margin-top: 0px;
  109. margin-bottom: 0px;
  110. text-indent:0px;
  111. text-align: center;
  112. }
  113. .JMFigure {
  114. text-indent:0px;
  115. margin-bottom: 5px;
  116. text-align: center;
  117. }
  118. .JMConsoleText {
  119. font-family: "Fixedsys", "Courier New";
  120. font-size: 12px;
  121. line-height: 140%;
  122. color: #FFFFFF;
  123. background-color: #000000;
  124. padding: 10px;
  125. width: 100%;
  126. border: 4px ridge #FFFFFF;
  127. text-indent: 0px;
  128. }
  129. BODY {
  130. font-family: "Verdana", "Arial", "Helvetica", "sans-serif";
  131. font-size: 12px;
  132. line-height: 150%;
  133. }
  134. LI{
  135. margin-top: 6px;
  136. }
  137. TABLE.normal {
  138. font-family: "Verdana";
  139. font-size: 12px;
  140. border-collapse: collapse;
  141. text-indent:0px;
  142. margin-bottom: 5px;
  143. margin-top: 10px;
  144. border: 1px solid #646420;
  145. }
  146. TD.normal {
  147. font-family: "Verdana";
  148. font-size: 12px;
  149. text-indent:0px;
  150. padding: 5px;
  151. border: 1px solid #646420;
  152. }
  153. TD.thead {
  154. font-family: "Verdana";
  155. font-size: 12px;
  156. background-color: #F8F8E9;
  157. color: #646420;
  158. font-weight: bold;
  159. border: 1px solid #646420;
  160. padding: 5px;
  161. }
  162. TABLE.topnavbar{
  163. font-family: "Verdana", "Arial", "Helvetica", "sans-serif";
  164. font-size: 12px;
  165. border-width:1px 0px 0px 0px;
  166. border-bottom: 1px solid #666666;
  167. margin-bottom: 10px;
  168. padding-bottom: 5px;
  169. }
  170. TABLE.botnavbar{
  171. font-family: "Verdana", "Arial", "Helvetica", "sans-serif";
  172. font-size: 12px;
  173. border-width:1px 0px 0px 0px;
  174. border-top: 1px solid #666666;
  175. margin-top: 10px;
  176. padding-top: 5px;
  177. }
  178. .JMEmphasize{
  179. color: red;
  180. }
  181. .JMGUIWidget {
  182. font-weight:bold;
  183. }
  184. .JMPath {
  185. }
  186. .JMNoteWarningChar {
  187. font-weight:bold;
  188. font-style:italic;
  189. }
  190. .nwi-emphasize{
  191. font-weight: bold;
  192. }
  193. .navbar-title{
  194. font-family: "Verdana", "Arial", "Helvetica", "sans-serif";
  195. font-size: 12px;
  196. color: #AAAAAA;
  197. font-weight: bold;
  198. text-align: right;
  199. }
  200. .deadlink {
  201. color:#bbbbbb;
  202. }
  203. a:visited, a:link {
  204. color: #1E5388;
  205. text-decoration:none;
  206. }
  207. a:hover, a:active {
  208. color: #FF0080;
  209. text-decoration:underline;
  210. }