extra.css 2.6 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171
  1. body {
  2. text-align: justify;
  3. max-width: 1024px;
  4. margin: auto;
  5. }
  6. h1 {
  7. line-height: 110%;
  8. }
  9. .hlist {
  10. border: 1px solid navy;
  11. padding:5px;
  12. background-color: #F4FFFF;
  13. }
  14. .hlist li {
  15. display: inline;
  16. display: inline-table;
  17. list-style-type: none;
  18. padding-right: 20px;
  19. }
  20. .entity {
  21. border: 1px solid navy;
  22. margin:5px 0px 5px 0px;
  23. padding: 5px;
  24. }
  25. .type-c {
  26. cursor:help;
  27. color:orange;
  28. }
  29. .type-op {
  30. cursor:help;
  31. color:navy;
  32. }
  33. .type-dp {
  34. cursor:help;
  35. color:green;
  36. }
  37. .type-ap {
  38. cursor:help;
  39. color:maroon;
  40. }
  41. .type-ni {
  42. cursor:help;
  43. color:brown;
  44. }
  45. .logic {
  46. color:purple;
  47. font-weight:bold;
  48. }
  49. h3 {
  50. margin-top: 3px;
  51. padding-bottom: 5px;
  52. border-bottom: 1px solid navy;
  53. }
  54. h2 {
  55. margin-top:40px;
  56. }
  57. .dotted {
  58. border-bottom: 1px dotted gray;
  59. }
  60. dt {
  61. margin-top:5px;
  62. }
  63. .description {
  64. border-top: 1px dashed gray;
  65. border-bottom: 1px dashed gray;
  66. background-color: rgb(242, 243, 244);
  67. margin-top:5px;
  68. padding-bottom:5px;
  69. }
  70. .description dl {
  71. background-color: rgb(242, 243, 244);
  72. }
  73. .description ul {
  74. padding-left: 12px;
  75. margin-top: 0px;
  76. }
  77. .backlink {
  78. font-size:10pt;
  79. text-align:right;
  80. float:right;
  81. color:black;
  82. padding: 2px;
  83. border: 1px dotted navy;
  84. background-color: #F4FFFF;
  85. }
  86. .imageblock {
  87. text-align: center;
  88. }
  89. .imageblock img {
  90. border:1px solid gray;
  91. }
  92. .endnote {
  93. margin-top: 40px;
  94. border-top: 1px solid gray;
  95. padding-top: 10px;
  96. text-align: center;
  97. color:gray;
  98. font-size:70%;
  99. }
  100. .literal {
  101. color:green;
  102. font-style:italic;
  103. }
  104. img {
  105. max-width: 1024px;
  106. }
  107. figure {
  108. border: 1px solid #99F;
  109. margin:auto;
  110. }
  111. figcaption {
  112. border-top: 1px solid #EEE;
  113. padding: 2px;
  114. text-align: center;
  115. color: #339;
  116. }
  117. .onto-diagram {
  118. display: block;
  119. max-width: 800px;
  120. margin: auto;
  121. }
  122. table.gridtable {
  123. font-family: verdana,arial,sans-serif;
  124. font-size:11px;
  125. color:#333333;
  126. border-width: 1px;
  127. border-color: #666666;
  128. border-collapse: collapse;
  129. width: 1024px;
  130. margin: auto;
  131. display: block;
  132. }
  133. table.gridtable th {
  134. border-width: 1px;
  135. padding: 8px;
  136. border-style: solid;
  137. border-color: #666666;
  138. background-color: #dedede;
  139. }
  140. table.gridtable td {
  141. border-width: 1px;
  142. padding: 8px;
  143. border-style: solid;
  144. border-color: #666666;
  145. background-color: #ffffff;
  146. }