org.css 4.0 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251
  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. }
  6. #top {
  7. margin-top:0pt;
  8. padding-right: 2.5em;
  9. font-size: 1.4em;
  10. }
  11. #top2 {
  12. font-size:70%;
  13. }
  14. #searchgmane {
  15. margin-left: 10pt;
  16. }
  17. #logo {
  18. position: absolute;
  19. top: 12px;
  20. left: 20px;
  21. }
  22. #translate {
  23. position: absolute;
  24. left: 30px;
  25. top: 150px;
  26. }
  27. #buttons {
  28. display:block;
  29. position:absolute;
  30. top:20pt;
  31. right:10pt;
  32. text-align: right;
  33. }
  34. a {
  35. text-decoration: none;
  36. /* color: #1c3030; */
  37. /* #0066CC; */
  38. /* color: #537d7b */
  39. }
  40. a:visited {
  41. text-decoration: none;
  42. /* color: #5e251e; */
  43. /* #FF0000; */
  44. /* color: #98855b */
  45. }
  46. a:hover {
  47. text-decoration: underline;
  48. /* color: #3d696a; */
  49. /* #0066CC; */
  50. /* color: #a34d32; */
  51. /* #923a2e */
  52. /* #5e251e */
  53. /* #461c16 */
  54. /* #3d696a */
  55. /* #1c3030 */
  56. }
  57. #content {
  58. font-size: 1.2em;
  59. margin-left: 130px;
  60. line-height: 2em;
  61. }
  62. #content p {
  63. padding-right: 7pt;
  64. }
  65. h1.title {
  66. display: none;
  67. }
  68. h3 {
  69. display: none;
  70. }
  71. .outline-3 {
  72. background-color: #eee;
  73. color: black;
  74. box-shadow: 1px 1px 1px #aaa;
  75. padding: 5pt;
  76. width: 27em;
  77. font-size: 85%;
  78. margin-top: 20pt;
  79. }
  80. .outline-3 p {
  81. margin:3pt;
  82. padding:0;
  83. }
  84. h2 {
  85. display: block;
  86. padding-top: 30px;
  87. font-size: 1.8em;
  88. margin-top: 0;
  89. margin-bottom: 30pt;
  90. }
  91. .outline-2 {
  92. font-size: 1em;
  93. line-height: 1.3em;
  94. margin-top: 40px;
  95. margin-left: -130px;
  96. min-height: 600pt;
  97. }
  98. *.outline-2 img {
  99. box-shadow: 5px 5px 5px #aaa;
  100. /* margin-top: -35px; */
  101. margin-left: 50px;
  102. }
  103. .iframe {
  104. float: right;
  105. }
  106. *.outline-2 p {
  107. margin-right: 5px;
  108. margin-left: 5px;
  109. padding-right: 5px;
  110. padding-left: 5px;
  111. }
  112. code {
  113. font-family: "Droid Sans Mono";
  114. background-color: #eeeeee;
  115. padding: 2pt;
  116. margin-right: 1pt;
  117. box-shadow: 1px 1px 1px #aaa;
  118. }
  119. pre {
  120. font-family: "Droid Sans Mono";
  121. font-size: .8em;
  122. font-weight: normal;
  123. line-height: 1.4em;
  124. background-color: #eeeeee;
  125. padding: 2pt;
  126. margin-right: 1pt;
  127. box-shadow: 1px 1px 1px #aaa;
  128. }
  129. #orgquote {
  130. z-index: 1000;
  131. position: fixed;
  132. margin: 0;
  133. bottom: 0;
  134. right: 0;
  135. font-size:100%;
  136. padding: 20px;
  137. background-color: #eee;
  138. -moz-opacity:0;
  139. opacity:0;
  140. filter:alpha(opacity=0);
  141. }
  142. #orgquote:hover {
  143. -moz-opacity:1;
  144. opacity:1;
  145. filter:alpha(opacity=100);
  146. }
  147. .move {
  148. float: left;
  149. font-weight: 800;
  150. font-size: 1.3em;
  151. color: #ccc;
  152. letter-spacing: 1.4pt;
  153. background-color: white;
  154. box-shadow: 0px 0px 0px white;
  155. }
  156. .move a {
  157. color: #ccc;
  158. }
  159. .move a:hover {
  160. color: grey;
  161. text-decoration: none;
  162. }
  163. @media(min-width:1000px){
  164. #screenshot {
  165. float: right;
  166. width: 500px;
  167. }
  168. #main-image {
  169. float: right;
  170. width: 500px;
  171. }
  172. body {
  173. padding: 20px;
  174. margin-left: 50px;
  175. margin-right: 30px;
  176. }
  177. }
  178. @media(min-width:800px) and (max-width:1000px){
  179. #screenshot {
  180. float: right;
  181. width: 450px;
  182. }
  183. #main-image {
  184. float: right;
  185. width: 450px;
  186. }
  187. }
  188. @media(min-width:850px) and (max-width:1000px){
  189. body {
  190. padding: 10px;
  191. margin-left: 25px;
  192. margin-right: 15px;
  193. }
  194. }
  195. @media(max-width:800px){
  196. #screenshot {
  197. display: none;
  198. }
  199. #main-image {
  200. display: none;
  201. }
  202. }
  203. @media(max-width:800px){
  204. code{
  205. font-size: 85%;
  206. }
  207. }
  208. @media(min-width:800px) and (max-width:900px){
  209. code{
  210. font-size: 75%;
  211. }
  212. }
  213. @media(min-width:900px){
  214. code{
  215. font-size: 85%;
  216. }
  217. }