paper.css 2.7 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190
  1. /* don't show the name of the page */
  2. div.header {
  3. display:none;
  4. }
  5. /* the first h2 header is the title of the document */
  6. div.content > h2:first-child {
  7. font-size:x-large;
  8. font-weight:bold;
  9. text-align:center;
  10. display:block;
  11. }
  12. /* invert author and address italics */
  13. div.Author {
  14. text-align:center;
  15. font-style:italic;
  16. font-size:smaller;
  17. }
  18. div.Author i {
  19. font-style:normal;
  20. font-size:medium;
  21. }
  22. /* printed smaller, and no "AUTHOR" heading, no numbering */
  23. div.Author, div.Abstract, div.Keywords {
  24. font-size:smaller;
  25. }
  26. div.Author h2 {
  27. display:none;
  28. }
  29. div.Abstract h2, div.Keywords h2 {
  30. display:block;
  31. font-size:medium;
  32. }
  33. /* typical headers are all the same size and bold, h2 is uppercased, h3 is not */
  34. h2, div.footnotes hr + p {
  35. text-transform:uppercase;
  36. font-size:large;
  37. font-weight:bold;
  38. }
  39. h3 {
  40. font-size:large;
  41. font-weight:bold;
  42. }
  43. /* main text */
  44. body {
  45. font:12pt "Times New Roman", serif;
  46. text-align:justify;
  47. }
  48. div.footnotes {
  49. text-align:left;
  50. }
  51. /* images */
  52. img {
  53. border:none;
  54. }
  55. img[smiley] {
  56. display:none;
  57. }
  58. div.Image a.image {
  59. display:block;
  60. padding:2ex;
  61. }
  62. div.Image h2 {
  63. display:none;
  64. }
  65. /* this should keep image and caption together, but it seems not to work. */
  66. div.Image {
  67. page-break-inside:avoid;
  68. }
  69. /* link look like ordinary text */
  70. a.number span {
  71. display:none;
  72. }
  73. @media screen {
  74. body {
  75. padding:10ex;
  76. }
  77. div.header {
  78. display: block;
  79. position: absolute;
  80. top: 0;
  81. left: 0;
  82. margin: 0;
  83. padding: 0;
  84. vertical-align: top;
  85. color:#aaa;
  86. font-size: 10pt;
  87. }
  88. div.header h1 {
  89. margin: 0;
  90. padding: 0;
  91. font-size: inherit;
  92. }
  93. div.header a {
  94. text-decoration: none;
  95. }
  96. div.footer, div.refer, a, a.number:link, a.number:visited,
  97. div.content + form, span.gotobar {
  98. color:#aaa;
  99. }
  100. div.content a, div.footnotes a, div.rc a {
  101. color:#000;
  102. text-decoration:none;
  103. }
  104. }
  105. @media print {
  106. a.edit, div.footer, div.refer, a.number,
  107. div.content + form, span.gotobar {
  108. display:none;
  109. }
  110. a, a:link, a:visited {
  111. color:#000;
  112. text-decoration:none;
  113. }
  114. }
  115. a[class="url number"]:after,
  116. a[class="inter number"]:after {
  117. content:"[" attr(href) "]";
  118. }
  119. a[class="local number"]:after {
  120. content:"[" attr(title) "]";
  121. }
  122. /* footnotes */
  123. a.footnote:before {
  124. content:"[";
  125. }
  126. a.footnote:after {
  127. content:"]";
  128. }
  129. div.footnotes a + a[class="url outside"]:after {
  130. content: ", <" attr(href) ">";
  131. }
  132. div.footnotes a + a[class="url"]:before {
  133. content: "<";
  134. }
  135. div.footnotes a + a[class="url"]:after {
  136. content: ">";
  137. }
  138. div.footnotes hr {
  139. display:none;
  140. }
  141. div.footnotes p {
  142. padding-left:3em;
  143. text-indent:-3em;
  144. }
  145. /* must come at the end */
  146. div.content a:hover {
  147. color:#000;
  148. background-color:#999;
  149. }