css.css 9.7 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564
  1. body {
  2. background-image: url("../images/weave.jpg");
  3. font-family: Verdana, Arial, Helvetica, Sans-serif;
  4. color: black;
  5. margin-right: 20px;
  6. margin-left: 20px;
  7. }
  8. h1 {
  9. text-align: center;
  10. }
  11. h2 {
  12. font-family: Verdana, Arial, Helvetica, Sans-serif;
  13. border-color: #c00000;
  14. color : black;
  15. margin-top: 0.8em;
  16. border-style: solid;
  17. border-width: 0px 0px 3px 0.5em;
  18. line-height : 130%;
  19. }
  20. h3 {
  21. font-family: Verdana, Arial, Helvetica, Sans-serif;
  22. border-color: #f02020;
  23. color : black;
  24. border-width: 0px 0px 2px 0.5em;
  25. border-style: solid;
  26. margin-right: 20%;
  27. line-height : 130%;
  28. }
  29. caption {
  30. font-weight: bold
  31. }
  32. a.qindex {}
  33. a.qindexRef {}
  34. a.el {
  35. text-decoration: none;
  36. font-weight: bold
  37. }
  38. a.elRef {
  39. font-weight: bold
  40. }
  41. a.code {
  42. text-decoration: none;
  43. font-weight: normal;
  44. color: #4444ee
  45. }
  46. a.codeRef {
  47. font-weight: normal;
  48. color: #4444ee
  49. }
  50. a:hover {
  51. text-decoration: none;
  52. background-color: #f2f2ff
  53. }
  54. dl.el {
  55. margin-left: -1cm
  56. }
  57. div.fragment {
  58. width: 100%;
  59. border: none;
  60. background-color: #eeeeee
  61. }
  62. div.ah {
  63. background-color: black;
  64. font-weight: bold;
  65. color: #ffffff;
  66. margin-bottom: 3px;
  67. margin-top: 3px
  68. }
  69. td {
  70. font-family: Verdana, Arial, Helvetica, Sans-serif;
  71. font-weight: bold;
  72. }
  73. .navheader {
  74. font-family: Verdana, Arial, Helvetica, Sans-serif;
  75. background-color: #B2B2ff;
  76. font-weight: bold;
  77. }
  78. .navfooter {
  79. font-family: Verdana, Arial, Helvetica, Sans-serif;
  80. background-color: #B2B2ff;
  81. font-weight: bold;
  82. }
  83. table.menu {
  84. background-color: #000066;
  85. font-weight: bold;
  86. text-align: center;
  87. width: 100%;
  88. }
  89. tr.menu {
  90. background-color: #ccffff;
  91. font-weight: bold;
  92. text-align: center;
  93. }
  94. td.menu {
  95. background-color: #f2e0d0;
  96. font-weight: bold;
  97. text-align: center;
  98. }
  99. td.md {
  100. background-color: #f2f2ff;
  101. font-weight: bold;
  102. }
  103. td.mdname1 {
  104. background-color: #f2f2ff;
  105. font-weight: bold;
  106. color: #602020;
  107. }
  108. td.mdname {
  109. background-color: #f2f2ff;
  110. font-weight: bold;
  111. color: #602020;
  112. width: 600px;
  113. }
  114. div.groupHeader {
  115. margin-left: 16px;
  116. margin-top: 12px;
  117. margin-bottom: 6px;
  118. font-weight: bold
  119. }
  120. div.groupText {
  121. margin-left: 16px;
  122. font-style: italic;
  123. font-size: smaller
  124. }
  125. td.indexkey {
  126. font-family: Verdana, Arial, Helvetica, Sans-serif;
  127. background-color: #eeeeff;
  128. font-weight: bold;
  129. padding-right : 10px;
  130. padding-top : 2px;
  131. padding-left : 10px;
  132. padding-bottom : 2px;
  133. margin-left : 0px;
  134. margin-right : 0px;
  135. margin-top : 2px;
  136. margin-bottom : 2px
  137. }
  138. td.indexvalue {
  139. font-family: Verdana, Arial, Helvetica, Sans-serif;
  140. background-color: #eeeeff;
  141. font-style: italic;
  142. padding-right : 10px;
  143. padding-top : 2px;
  144. padding-left : 10px;
  145. padding-bottom : 2px;
  146. margin-left : 0px;
  147. margin-right : 0px;
  148. margin-top : 2px;
  149. margin-bottom : 2px
  150. }
  151. span.keyword {
  152. color: #008000
  153. }
  154. span.keywordtype {
  155. color: #604020
  156. }
  157. span.keywordflow {
  158. color: #e08000
  159. }
  160. span.comment {
  161. color: #800000
  162. }
  163. span.preprocessor {
  164. color: #806020
  165. }
  166. span.stringliteral {
  167. color: #002080
  168. }
  169. span.charliteral {
  170. color: #008080
  171. }
  172. em {
  173. color: #990000;
  174. background-color: transparent;
  175. }
  176. h1,h2,h3,h4,h5,h6,p,center,td,th,ul,dl,div {
  177. font-family: Geneva, Arial, Helvetica, sans-serif;
  178. }
  179. body,td {
  180. font-size: 90%;
  181. }
  182. h1 {
  183. text-align: center;
  184. font-size: 160%;
  185. }
  186. h2 {
  187. font-size: 120%;
  188. }
  189. h3 {
  190. font-size: 100%;
  191. }
  192. caption {
  193. font-weight: bold
  194. }
  195. div.qindex {
  196. width: 100%;
  197. background-color: #eeeeff;
  198. border: 1px solid #b0b0b0;
  199. text-align: center;
  200. margin: 2px;
  201. padding: 2px;
  202. line-height: 140%;
  203. }
  204. div.nav {
  205. width: 100%;
  206. background-color: #eeeeff;
  207. border: 1px solid #b0b0b0;
  208. text-align: center;
  209. margin: 2px;
  210. padding: 2px;
  211. line-height: 140%;
  212. }
  213. div.navtab {
  214. background-color: #eeeeff;
  215. border: 1px solid #b0b0b0;
  216. text-align: center;
  217. margin: 2px;
  218. margin-right: 15px;
  219. padding: 2px;
  220. }
  221. td.navtab {
  222. font-size: 70%;
  223. }
  224. a.qindex {
  225. text-decoration: none;
  226. font-weight: bold;
  227. color: #1a419d;
  228. }
  229. a.qindex:visited {
  230. text-decoration: none;
  231. font-weight: bold;
  232. color: #1a419d
  233. }
  234. a.qindex:hover {
  235. text-decoration: none;
  236. background-color: #ddddff;
  237. }
  238. a.qindexHL {
  239. text-decoration: none;
  240. font-weight: bold;
  241. background-color: #6666cc;
  242. color: #ffffff;
  243. border: 1px double #9295C2;
  244. }
  245. a.qindexHL:hover {
  246. text-decoration: none;
  247. background-color: #6666cc;
  248. color: #ffffff;
  249. }
  250. a.qindexHL:visited {
  251. text-decoration: none;
  252. background-color: #6666cc;
  253. color: #ffffff
  254. }
  255. a.el {
  256. text-decoration: none;
  257. font-weight: bold
  258. }
  259. a.elRef {
  260. font-weight: bold
  261. }
  262. a.code:link {
  263. text-decoration: none;
  264. font-weight: normal;
  265. color: #0000FF
  266. }
  267. a.code:visited {
  268. text-decoration: none;
  269. font-weight: normal;
  270. color: #0000FF
  271. }
  272. a.codeRef:link {
  273. font-weight: normal;
  274. color: #0000FF
  275. }
  276. a.codeRef:visited {
  277. font-weight: normal;
  278. color: #0000FF
  279. }
  280. a:hover {
  281. text-decoration: none;
  282. background-color: #f2f2ff
  283. }
  284. dl.el {
  285. margin-left: -1cm
  286. }
  287. .fragment {
  288. font-family: Fixed, monospace;
  289. font-size: 95%;
  290. }
  291. pre.fragment {
  292. border: 1px solid #CCCCCC;
  293. background-color: #f5f5f5;
  294. margin-top: 4px;
  295. margin-bottom: 4px;
  296. margin-left: 2px;
  297. margin-right: 8px;
  298. padding-left: 6px;
  299. padding-right: 6px;
  300. padding-top: 4px;
  301. padding-bottom: 4px;
  302. }
  303. div.ah {
  304. background-color: black;
  305. font-weight: bold;
  306. color: #ffffff;
  307. margin-bottom: 3px;
  308. margin-top: 3px
  309. }
  310. td.md {
  311. background-color: #F4F4FB;
  312. font-weight: bold;
  313. }
  314. td.mdPrefix {
  315. background-color: #F4F4FB;
  316. color: #606060;
  317. font-size: 80%;
  318. }
  319. td.mdname1 {
  320. background-color: #F4F4FB;
  321. font-weight: bold;
  322. color: #602020;
  323. }
  324. td.mdname {
  325. background-color: #F4F4FB;
  326. font-weight: bold;
  327. color: #602020;
  328. width: 600px;
  329. }
  330. div.groupHeader {
  331. margin-left: 16px;
  332. margin-top: 12px;
  333. margin-bottom: 6px;
  334. font-weight: bold;
  335. }
  336. div.groupText {
  337. margin-left: 16px;
  338. font-style: italic;
  339. font-size: 90%
  340. }
  341. td.indexkey {
  342. background-color: #eeeeff;
  343. font-weight: bold;
  344. padding-right : 10px;
  345. padding-top : 2px;
  346. padding-left : 10px;
  347. padding-bottom : 2px;
  348. margin-left : 0px;
  349. margin-right : 0px;
  350. margin-top : 2px;
  351. margin-bottom : 2px;
  352. border: 1px solid #CCCCCC;
  353. }
  354. td.indexvalue {
  355. background-color: #eeeeff;
  356. font-style: italic;
  357. padding-right : 10px;
  358. padding-top : 2px;
  359. padding-left : 10px;
  360. padding-bottom : 2px;
  361. margin-left : 0px;
  362. margin-right : 0px;
  363. margin-top : 2px;
  364. margin-bottom : 2px;
  365. border: 1px solid #CCCCCC;
  366. }
  367. tr.memlist {
  368. background-color: #f0f0f0;
  369. }
  370. p.formulaDsp {
  371. text-align: center;
  372. }
  373. img.formulaDsp {
  374. }
  375. img.formulaInl {
  376. vertical-align: middle;
  377. }
  378. span.keyword {
  379. color: #008000
  380. }
  381. span.keywordtype {
  382. color: #604020
  383. }
  384. span.keywordflow {
  385. color: #e08000
  386. }
  387. span.comment {
  388. color: #800000
  389. }
  390. span.preprocessor {
  391. color: #806020
  392. }
  393. span.stringliteral {
  394. color: #002080
  395. }
  396. span.charliteral {
  397. color: #008080
  398. }
  399. .mdTable {
  400. border: 1px solid #868686;
  401. background-color: #F4F4FB;
  402. }
  403. .mdRow {
  404. padding: 8px 10px;
  405. }
  406. .mdescLeft {
  407. padding: 0px 8px 4px 8px;
  408. font-size: 80%;
  409. font-style: italic;
  410. background-color: #FAFAFA;
  411. border-top: 1px none #E0E0E0;
  412. border-right: 1px none #E0E0E0;
  413. border-bottom: 1px none #E0E0E0;
  414. border-left: 1px none #E0E0E0;
  415. margin: 0px;
  416. }
  417. .mdescRight {
  418. padding: 0px 8px 4px 8px;
  419. font-size: 80%;
  420. font-style: italic;
  421. background-color: #FAFAFA;
  422. border-top: 1px none #E0E0E0;
  423. border-right: 1px none #E0E0E0;
  424. border-bottom: 1px none #E0E0E0;
  425. border-left: 1px none #E0E0E0;
  426. margin: 0px;
  427. }
  428. .memItemLeft {
  429. padding: 1px 0px 0px 8px;
  430. margin: 4px;
  431. border-top-width: 1px;
  432. border-right-width: 1px;
  433. border-bottom-width: 1px;
  434. border-left-width: 1px;
  435. border-top-color: #E0E0E0;
  436. border-right-color: #E0E0E0;
  437. border-bottom-color: #E0E0E0;
  438. border-left-color: #E0E0E0;
  439. border-top-style: solid;
  440. border-right-style: none;
  441. border-bottom-style: none;
  442. border-left-style: none;
  443. background-color: #FAFAFA;
  444. font-size: 80%;
  445. }
  446. .memItemRight {
  447. padding: 1px 8px 0px 8px;
  448. margin: 4px;
  449. border-top-width: 1px;
  450. border-right-width: 1px;
  451. border-bottom-width: 1px;
  452. border-left-width: 1px;
  453. border-top-color: #E0E0E0;
  454. border-right-color: #E0E0E0;
  455. border-bottom-color: #E0E0E0;
  456. border-left-color: #E0E0E0;
  457. border-top-style: solid;
  458. border-right-style: none;
  459. border-bottom-style: none;
  460. border-left-style: none;
  461. background-color: #FAFAFA;
  462. font-size: 80%;
  463. }
  464. .memTemplItemLeft {
  465. padding: 1px 0px 0px 8px;
  466. margin: 4px;
  467. border-top-width: 1px;
  468. border-right-width: 1px;
  469. border-bottom-width: 1px;
  470. border-left-width: 1px;
  471. border-top-color: #E0E0E0;
  472. border-right-color: #E0E0E0;
  473. border-bottom-color: #E0E0E0;
  474. border-left-color: #E0E0E0;
  475. border-top-style: none;
  476. border-right-style: none;
  477. border-bottom-style: none;
  478. border-left-style: none;
  479. background-color: #FAFAFA;
  480. font-size: 80%;
  481. }
  482. .memTemplItemRight {
  483. padding: 1px 8px 0px 8px;
  484. margin: 4px;
  485. border-top-width: 1px;
  486. border-right-width: 1px;
  487. border-bottom-width: 1px;
  488. border-left-width: 1px;
  489. border-top-color: #E0E0E0;
  490. border-right-color: #E0E0E0;
  491. border-bottom-color: #E0E0E0;
  492. border-left-color: #E0E0E0;
  493. border-top-style: none;
  494. border-right-style: none;
  495. border-bottom-style: none;
  496. border-left-style: none;
  497. background-color: #FAFAFA;
  498. font-size: 80%;
  499. }
  500. .memTemplParams {
  501. padding: 1px 0px 0px 8px;
  502. margin: 4px;
  503. border-top-width: 1px;
  504. border-right-width: 1px;
  505. border-bottom-width: 1px;
  506. border-left-width: 1px;
  507. border-top-color: #E0E0E0;
  508. border-right-color: #E0E0E0;
  509. border-bottom-color: #E0E0E0;
  510. border-left-color: #E0E0E0;
  511. border-top-style: solid;
  512. border-right-style: none;
  513. border-bottom-style: none;
  514. border-left-style: none;
  515. color: #606060;
  516. background-color: #FAFAFA;
  517. font-size: 80%;
  518. }
  519. .search {
  520. color: #003399;
  521. font-weight: bold;
  522. }
  523. form.search {
  524. margin-bottom: 0px;
  525. margin-top: 0px;
  526. }
  527. input.search {
  528. font-size: 75%;
  529. color: #000080;
  530. font-weight: normal;
  531. background-color: #eeeeff;
  532. }
  533. td.tiny {
  534. font-size: 75%;
  535. }
  536. a {
  537. color: #252e78;
  538. }
  539. a:visited {
  540. color: #3d2185;
  541. }
  542. .dirtab {
  543. padding: 4px;
  544. border-collapse: collapse;
  545. border: 1px solid #b0b0b0;
  546. }
  547. th.dirtab {
  548. background: #eeeeff;
  549. font-weight: bold;
  550. }
  551. hr {
  552. height: 1px;
  553. border: none;
  554. border-top: 1px solid black;
  555. }