123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384 |
- @font-face {
- font-family: Noto Sans;
- src: url('NotoSans-Regular.ttf');
- }
- @font-face {
- font-family: Noto Sans Linear B;
- src: url('NotoSansLinearB-Regular.ttf');
- }
- .lbt.overlay {
- position: absolute; /* important */
- top: 0px; /* start from top */
- left: 0px; /* start from left */
- height: 100%; /* cover the whole page */
- width: 100%; /* cover the whole page */
- display: none; /* don't show it '*/
- /* styling bellow */
- background-color: black;
- z-index: 1000;
- }
- .lbt.window {
- margin-top: 3em;
- margin-left: 3em;
- display: none; /* don't show it */
- /* styling bellow */
- color: #fff;
- top: 0;
- width: 800px;
- border: 1px solid gray;
- background: #fff;
- color: black;
- z-index: 1001;
- padding: 5px 30px 10px 30px;
- -moz-border-radius-topleft: 0px;
- -moz-border-radius-topright: 0px;
- -moz-border-radius-bottomright: 10px;
- -moz-border-radius-bottomleft: 10px;
- -webkit-border-radius: 0px 0px 10px 10px;
- border-radius: 0px 0px 10px 10px;
-
- -webkit-box-shadow: 2px 2px 3px 2px rgba(0, 0, 0, 0.1);
- -moz-box-shadow: 2px 2px 3px 2px rgba(0, 0, 0, 0.1);
- box-shadow: 2px 2px 3px 2px rgba(0, 0, 0, 0.1);
- }
- .lbt.window label {
- font-size: small;
- }
- #source {
- height: 200px;
- font-family: "Noto Sans", "Noto Sans Linear B", sans-serif;
- }
- #destination {
- height:200px;
- font-size:2.5em;
- font-family: "Noto Sans", "Noto Sans Linear B", sans-serif;
- }
- pre {
- width:800px;
- margin-left: 3em;
- border: 1px solid black;
- box-shadow: 1px 3px 5px;
- padding: 1em;
- }
- h2 {
- margin-left: 3em
- }
- a {
- text-decoration: none;
- }
- a:hover {
- color: grey;
- }
|