org-changes.css 3.1 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204
  1. @import url(https://fonts.googleapis.com/css?family=Droid+Sans|Droid+Sans+Mono|Droid+Serif);
  2. html {
  3. margin: 0;
  4. font: 300 .9em/1.6em "Droid Serif", "Open Sans", Cambria, Georgia, "DejaVu Serif", serif;
  5. text-align: justify;
  6. }
  7. #logo {
  8. position: fixed;
  9. bottom: 12px;
  10. right: 20px;
  11. z-index: -1000px;
  12. }
  13. #buttons {
  14. position:absolute;
  15. top:10pt;
  16. left:10pt;
  17. text-align: left;
  18. }
  19. #translate {
  20. display:none;
  21. }
  22. li {
  23. text-align: justify;
  24. margin-bottom: 5px;
  25. }
  26. body {
  27. padding: 20px;
  28. margin-left: 50px;
  29. margin-right: 30px;
  30. }
  31. td {
  32. margin: 0px;
  33. padding: 2pt;
  34. }
  35. a {
  36. text-decoration: none;
  37. }
  38. a:visited {
  39. text-decoration: none;
  40. }
  41. a:hover {
  42. text-decoration: underline;
  43. }
  44. #content {
  45. font-size: 16pt;
  46. margin-left: 150px;
  47. line-height: 24pt;
  48. }
  49. h1.title {
  50. display: none;
  51. }
  52. h3 {
  53. display: inline;
  54. }
  55. .outline-2 {
  56. max-width: 600pt;
  57. font-size: 12pt;
  58. line-height: 16pt;
  59. margin-top: 40px;
  60. margin-left: -150px;
  61. }
  62. *.outline-2 img {
  63. box-shadow: 5px 5px 5px #aaa;
  64. margin-left: 50px;
  65. }
  66. *.outline-2 p {
  67. margin-right: 5px;
  68. margin-left: 5px;
  69. padding-right: 5px;
  70. padding-left: 5px;
  71. }
  72. .outline-3 {
  73. /* width:90%; */
  74. margin-top: 10pt;
  75. background-color:white;
  76. box-shadow: 0px 0px 0px white;
  77. }
  78. *.outline-3 p {
  79. margin-bottom: 8pt;
  80. margin-top: 8pt;
  81. }
  82. code {
  83. font-family: "Droid Sans Mono";
  84. font-size: 90%;
  85. background-color: #fff;
  86. padding: 1pt;
  87. margin-right: 1pt;
  88. border: 1px solid #eee;
  89. }
  90. pre {
  91. font-size: 90%;
  92. font-family: "Droid Sans Mono";
  93. background-color: #eeeeee;
  94. padding: 3pt;
  95. box-shadow: 3px 3px 3px #aaa;
  96. }
  97. #orgquote {
  98. z-index: 1000;
  99. position: fixed;
  100. margin: 0;
  101. bottom: 0;
  102. right: 0;
  103. font-size:90%;
  104. padding: 20px;
  105. background-color: #eee;
  106. -moz-opacity:0;
  107. opacity:0;
  108. filter:alpha(opacity=0);
  109. }
  110. #orgquote:hover {
  111. -moz-opacity:1;
  112. opacity:1;
  113. filter:alpha(opacity=100);
  114. }
  115. #table-of-contents {
  116. font-size: 9pt;
  117. position: fixed;
  118. right: 0em;
  119. top: 0em;
  120. background: white;
  121. -webkit-box-shadow: 0 0 1em #777777;
  122. -moz-box-shadow: 0 0 1em #777777;
  123. -webkit-border-bottom-left-radius: 5px;
  124. -moz-border-radius-bottomleft: 5px;
  125. text-align: right;
  126. max-height: 80%;
  127. overflow: auto;
  128. z-index: 200;
  129. }
  130. #table-of-contents h2 {
  131. font-size: 11pt;
  132. font-weight: 600;
  133. padding: 5pt;
  134. padding-top: 5pt;
  135. margin-top: 0;
  136. margin-bottom: 0pt;
  137. line-height: 12pt;
  138. }
  139. #table-of-contents ul {
  140. margin-left: 14pt;
  141. margin-bottom: 10pt;
  142. padding: 0
  143. }
  144. #table-of-contents li {
  145. padding: 0;
  146. margin: 1px;
  147. list-style: none;
  148. line-height: 12pt;
  149. }
  150. #table-of-contents ul>:first-child {
  151. color: blue;
  152. }
  153. #table-of-contents #text-table-of-contents {
  154. display: none;
  155. text-align: left;
  156. }
  157. #table-of-contents:hover #text-table-of-contents {
  158. display: block;
  159. padding: 0.5em;
  160. margin-top: -1.5em;
  161. }
  162. @media screen
  163. {
  164. #table-of-contents {
  165. float: right;
  166. border: 1px solid #CCC;
  167. max-width: 50%;
  168. overflow: auto;
  169. }
  170. } /* END OF @media screen */