style.css 2.4 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145
  1. /* $Id: style.css,v 1.16 2020/06/17 05:13:27 gilles Exp gilles $ */
  2. /* http://www.w3schools.com/html/html5_browsers.asp */
  3. /*
  4. header, section, footer, aside, nav, main, article, figure {
  5. display: inline-block;
  6. }
  7. */
  8. body {
  9. color: black;
  10. background-color: #eeffff;
  11. }
  12. @media screen and ( min-width: 960px ) {
  13. #left-menu {
  14. float: left;
  15. width: 50%;
  16. }
  17. #centered-logo {
  18. float: left;
  19. width: 50%;
  20. }
  21. #right-tronche {
  22. float: right;
  23. width: 60%;
  24. }
  25. div.list {
  26. display: inline-block;
  27. vertical-align: top;
  28. }
  29. }
  30. div.poll {
  31. display: inline-block;
  32. vertical-align: top;
  33. }
  34. div.center {
  35. text-align: center;
  36. }
  37. img {
  38. border: 0;
  39. }
  40. .none
  41. {
  42. /* list-style-type: none;
  43. */
  44. }
  45. .bold
  46. {
  47. font-weight:bold;
  48. }
  49. .smaller
  50. {
  51. font-size: smaller;
  52. }
  53. .larger
  54. {
  55. font-size: larger;
  56. }
  57. .monospace
  58. {
  59. font-family: "Courier New", Courier, monospace;
  60. }
  61. select {
  62. font-family: "Courier New", Courier, monospace;
  63. font-size: larger;
  64. }
  65. /*!
  66. * LaTeX.css (https://latex.now.sh/)
  67. *
  68. * Source: https://github.com/vincentdoerig/latex-css
  69. * Licensed under MIT (https://github.com/vincentdoerig/latex-css/blob/master/LICENSE)
  70. */
  71. @font-face {
  72. font-family: 'Latin Modern';
  73. font-style: normal;
  74. font-weight: normal;
  75. font-display: swap;
  76. src: url('./fonts/LM-regular.woff2') format('woff2'),
  77. url('./fonts/LM-regular.woff') format('woff'),
  78. url('./fonts/LM-regular.ttf') format('truetype');
  79. }
  80. @font-face {
  81. font-family: 'Latin Modern';
  82. font-style: italic;
  83. font-weight: normal;
  84. font-display: swap;
  85. src: url('./fonts/LM-italic.woff2') format('woff2'),
  86. url('./fonts/LM-italic.woff') format('woff'),
  87. url('./fonts/LM-italic.ttf') format('truetype');
  88. }
  89. @font-face {
  90. font-family: 'Latin Modern';
  91. font-style: normal;
  92. font-weight: bold;
  93. font-display: swap;
  94. src: url('./fonts/LM-bold.woff2') format('woff2'),
  95. url('./fonts/LM-bold.woff') format('woff'),
  96. url('./fonts/LM-bold.ttf') format('truetype');
  97. }
  98. @font-face {
  99. font-family: 'Latin Modern';
  100. font-style: italic;
  101. font-weight: bold;
  102. font-display: swap;
  103. src: url('./fonts/LM-bold-italic.woff2') format('woff2'),
  104. url('./fonts/LM-bold-italic.woff') format('woff'),
  105. url('./fonts/LM-bold-italic.ttf') format('truetype');
  106. }
  107. body {
  108. /* I'm not very satisfied with the rendering of Computer Modern when browsing
  109. so I comment it for now.
  110. */
  111. /* font-family: 'Latin Modern', serif;
  112. */
  113. }