docs.css 1.3 KB

12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970717273747576777879808182838485868788899091
  1. #topanchor {position:absolute;left:0px;top:0px;width:0px;height:0px;}
  2. #pagecontrol {float:right;}
  3. body {
  4. font-family: Tahoma, Geneva, sans-serif;
  5. font-size:.90em;
  6. line-height:1.4em;
  7. }
  8. a { text-decoration: none; color:#2929ff;}
  9. a:visited { color: #2929ff;}
  10. a:hover { color: #600060;}
  11. h1 {
  12. font-size:1.6em;
  13. font-weight:bold;
  14. }
  15. h2 {
  16. font-size:1.1em;
  17. font-weight:bold;
  18. margin:10px 0px 10px 0px;
  19. }
  20. .topnav h3 {
  21. font-weight:normal;
  22. margin:0px 0px 0px 0px;
  23. }
  24. .prevnext {
  25. float:right;
  26. }
  27. .section {
  28. }
  29. .subsection {
  30. margin:0px 0px 0px 20px;
  31. }
  32. .topnav li {
  33. font-size:.9em;
  34. list-style-type:none;
  35. }
  36. .topnav ul {
  37. padding:0px 0px 0px 20px;
  38. margin:0px 0px 0px 0px;
  39. }
  40. .topnav .toolbar{
  41. margin:0px 0px 0px 0px;
  42. padding:0px 0px 0px 0px;
  43. }
  44. .topnav {
  45. background-color: #eee;
  46. border: 1px solid #ccc;
  47. padding:10px 10px 0px 10px;
  48. margin:0px 0px 10px 0px;
  49. }
  50. .smalllink {
  51. font-size:.80em;
  52. }
  53. code {
  54. font-size:1.2em;
  55. }
  56. .code {
  57. font-family:monospace;
  58. }
  59. p {
  60. /*margin:5px 20px 5px 10px;*/
  61. }
  62. li {
  63. margin:1px 0px 1px 0px;
  64. }
  65. td {
  66. font-size:small;
  67. }
  68. .section pre {
  69. margin: 1.5em;
  70. padding: .7em;
  71. font-size: 1em;
  72. line-height:1em;
  73. background-color: #eee;
  74. border: 1px solid #ccc;
  75. width:640px;
  76. overflow:auto;
  77. }