style.css 2.1 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122
  1. @font-face {
  2. font-family: Noto Sans;
  3. src: url('NotoSans-Regular.ttf');
  4. }
  5. @font-face {
  6. font-family: Noto Sans Linear B;
  7. src: url('NotoSansLinearB-Regular.ttf');
  8. }
  9. body {background: url('bg.jpg') no-repeat;}
  10. .lbt.overlay {
  11. position: absolute; /* important */
  12. top: 0px; /* start from top */
  13. left: 0px; /* start from left */
  14. height: 100%; /* cover the whole page */
  15. width: 100%; /* cover the whole page */
  16. display: none; /* don't show it '*/
  17. /* styling bellow */
  18. z-index: 1000;
  19. }
  20. .lbt.window {
  21. margin-top: 2em;
  22. display: none; /* don't show it */
  23. /* styling bellow */
  24. color: #fff;
  25. top: 0;
  26. border: 1px solid gray;
  27. background: #fff;
  28. color: black;
  29. z-index: 1001;
  30. padding: 5px 30px 10px 30px;
  31. -moz-border-radius-topleft: 0px;
  32. -moz-border-radius-topright: 0px;
  33. -moz-border-radius-bottomright: 10px;
  34. -moz-border-radius-bottomleft: 10px;
  35. -webkit-border-radius: 0px 0px 10px 10px;
  36. border-radius: 0px 0px 10px 10px;
  37. -webkit-box-shadow: 2px 2px 3px 2px rgba(0, 0, 0, 0.1);
  38. -moz-box-shadow: 2px 2px 3px 2px rgba(0, 0, 0, 0.1);
  39. box-shadow: 2px 2px 3px 2px rgba(0, 0, 0, 0.1);
  40. }
  41. .lbt.window label {
  42. font-size: small;
  43. }
  44. #lexicon,#source {
  45. height: 200px;
  46. font-family: "Noto Sans", "Noto Sans Linear B", sans-serif;
  47. }
  48. #destination {
  49. height:200px;
  50. font-size:2.5em;
  51. font-family: "Noto Sans", "Noto Sans Linear B", sans-serif;
  52. }
  53. pre {
  54. width:400px;
  55. border: 1px solid black;
  56. box-shadow: 1px 3px 5px;
  57. padding: 1em;
  58. background-color: #F0F0F0;
  59. font-family: "Noto Sans", "Noto Sans Linear B", sans-serif;
  60. }
  61. h3 {
  62. margin-bottom: -5px
  63. }
  64. a {
  65. text-decoration: none;
  66. color: gray;
  67. }
  68. a:hover {
  69. color: red;
  70. }
  71. span {
  72. }
  73. h4 {
  74. margin-bottom: -1px
  75. }
  76. div#wrapper {
  77. width: 800px;
  78. max-width: 90%;
  79. margin-left: auto;
  80. margin-right: auto;
  81. margin-top:50px;
  82. }
  83. input { font-family: "Noto Sans", "Noto Sans Linear B", sans-serif;}
  84. img#github {
  85. position: absolute;
  86. top: 0;
  87. right: 0;
  88. border: 0;
  89. width:10%;
  90. }
  91. h3#title {
  92. border-bottom: 1px solid black;
  93. padding-bottom: 5px;
  94. }
  95. .key {
  96. font-size:1.5em;
  97. }