attic.css_t 2.0 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139
  1. @import url("basic.css");
  2. body {
  3. font-family: Arial, Sans-Serif;
  4. background-color: white;
  5. margin: 0 0 4em;
  6. padding: 0;
  7. }
  8. div.related {
  9. display: none;
  10. background-color: black;
  11. padding: .4em;
  12. width: 800px;
  13. margin: 0 auto;
  14. }
  15. div.related a {
  16. color: white;
  17. text-decoration: none;
  18. }
  19. div.document {
  20. background-color: white;
  21. width: 850px;
  22. margin: 0 auto;
  23. padding-top: 1em;
  24. }
  25. div.documentwrapper {
  26. float: right;
  27. width: 600px;
  28. }
  29. div.sphinxsidebar {
  30. margin-left: 0;
  31. parring-right: 20px;
  32. width: 230px;
  33. }
  34. h1, h2, h3 {
  35. font-family: "DejaVu Serif";
  36. font-weight: normal;
  37. font-style: italic;
  38. color: #333;
  39. }
  40. h1 {
  41. margin: .8em 0 .5em;
  42. }
  43. h2, h3 {
  44. margin: 1.2em 0 .6em;
  45. }
  46. h1 { font-size: 260%;}
  47. h2 { font-size: 180%;}
  48. h3 { font-size: 130%;}
  49. ul {
  50. padding-left: 1.2em;
  51. margin-bottom: .3em;
  52. }
  53. ul ul {
  54. font-size: 95%;
  55. }
  56. li {
  57. margin: .1em 0;
  58. }
  59. a:link, a:visited {
  60. color: #00608f;
  61. text-decoration: none;
  62. }
  63. a:hover {
  64. color: #00B0E4;
  65. border-bottom: 1px dotted #00B0E4;
  66. }
  67. div.sphinxsidebar a:link, div.sphinxsidebar a:visited {
  68. color: #555;
  69. border-bottom: 1px dotted #555;
  70. }
  71. div.sphinxsidebar input {
  72. border: 1px solid #ccc;
  73. }
  74. pre {
  75. border: 1px solid #ccc;
  76. padding: .6em;
  77. background: black;
  78. color: #ddd;
  79. border-radius: .4em;
  80. box-shadow: 2px 2px #ddd;
  81. line-height: 1.2em;
  82. }
  83. pre a:link,
  84. pre a:visited {
  85. color: #00B0E4;
  86. }
  87. div.sidebarlogo .title {
  88. font-family: "DejaVu Serif";
  89. font-style: italic;
  90. font-size: 500%;
  91. }
  92. div.sidebarlogo .subtitle {
  93. font-style: italic;
  94. color: #777;
  95. }
  96. tt span.pre {
  97. font-size: 110%;
  98. }
  99. dt {
  100. font-style: italic;
  101. font-size: 95%;
  102. }
  103. div.admonition p.admonition-title + p {
  104. display: inline;
  105. }
  106. div.admonition p {
  107. margin-bottom: 5px;
  108. }
  109. p.admonition-title {
  110. display: inline;
  111. }
  112. p.admonition-title:after {
  113. content: ":";
  114. }
  115. div.note {
  116. background-color: #eee;
  117. border: 1px solid #ccc;
  118. border-radius: .4em;
  119. box-shadow: 2px 2px #ddd;
  120. }
  121. div.seealso {
  122. background-color: #ffe;
  123. border: 1px solid #ff6;
  124. border-radius: .4em;
  125. box-shadow: 2px 2px #dd6;
  126. }