interlocking.lg 8.6 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167
  1. htfcss: ecbx font-weight: bold;
  2. htfcss: ecsx font-weight: bold;
  3. htfcss: ecbi font-weight: bold; font-style: italic;
  4. htfcss: ecit font-style: italic; font-family: monospace;
  5. htfcss: ecss font-family: sans-serif;
  6. htfcss: ecff font-family: fantasy;
  7. htfcss: ecti font-style: italic;
  8. htfcss: ectt font-family: monospace;
  9. htfcss: ecbx font-weight: bold;
  10. htfcss: ecsx font-weight: bold;
  11. htfcss: ecbi font-weight: bold; font-style: italic;
  12. htfcss: ecit font-style: italic; font-family: monospace;
  13. htfcss: ecss font-family: sans-serif;
  14. htfcss: ecff font-family: fantasy;
  15. htfcss: ecti font-style: italic;
  16. htfcss: ectt font-family: monospace;
  17. htfcss: ecbx font-weight: bold;
  18. htfcss: ecsx font-weight: bold;
  19. htfcss: ecbi font-weight: bold; font-style: italic;
  20. htfcss: ecit font-style: italic; font-family: monospace;
  21. htfcss: ecss font-family: sans-serif;
  22. htfcss: ecff font-family: fantasy;
  23. htfcss: ecti font-style: italic;
  24. htfcss: ectt font-family: monospace;
  25. htfcss: ecbx font-weight: bold;
  26. htfcss: ecsx font-weight: bold;
  27. htfcss: ecbi font-weight: bold; font-style: italic;
  28. htfcss: ecit font-style: italic; font-family: monospace;
  29. htfcss: ecss font-family: sans-serif;
  30. htfcss: ecff font-family: fantasy;
  31. htfcss: ecti font-style: italic;
  32. htfcss: ectt font-family: monospace;
  33. htfcss: ecbx font-weight: bold;
  34. htfcss: ecsx font-weight: bold;
  35. htfcss: ecbi font-weight: bold; font-style: italic;
  36. htfcss: ecit font-style: italic; font-family: monospace;
  37. htfcss: ecss font-family: sans-serif;
  38. htfcss: ecff font-family: fantasy;
  39. htfcss: ecti font-style: italic;
  40. htfcss: ectt font-family: monospace;
  41. htfcss: ecbx font-weight: bold;
  42. htfcss: ecsx font-weight: bold;
  43. htfcss: ecbi font-weight: bold; font-style: italic;
  44. htfcss: ecit font-style: italic; font-family: monospace;
  45. htfcss: ecss font-family: sans-serif;
  46. htfcss: ecff font-family: fantasy;
  47. htfcss: ecti font-style: italic;
  48. htfcss: ectt font-family: monospace;
  49. File: interlocking.html
  50. File: interlocking.css
  51. File: interlocking.tmp
  52. Css: p.noindent { text-indent: 0em }
  53. Css: td p.noindent { text-indent: 0em; margin-top:0em; }
  54. Css: p.nopar { text-indent: 0em; }
  55. Css: p.indent{ text-indent: 1.5em }
  56. Css: @media print {div.crosslinks {visibility:hidden;}}
  57. Css: a img { border-top: 0; border-left: 0; border-right: 0; }
  58. Font_Css("4"): .small-caps{font-variant: small-caps; }
  59. Font_Css("10"): .htf-cmbx {font-weight: bold; font-style:normal;}
  60. Font_Css("12"): .htf-calligraphy {font-family:cursive}
  61. Font_Css("14"): .htf-italic {font-style: italic;}
  62. Font_Css("16"): .htf-bold {font-weight: bold;}
  63. Font_Css("12"): .htf-calligraphy-bold {font-family:cursive ; font-weight: bold; }
  64. Css: center { margin-top:1em; margin-bottom:1em; }
  65. Css: td center { margin-top:0em; margin-bottom:0em; }
  66. Css: .Canvas { position:relative; }
  67. Css: img.math{vertical-align:middle;}
  68. Css: li p.indent { text-indent: 0em }
  69. Css: li p:first-child{ margin-top:0em; }
  70. Css: li p:last-child, li div:last-child { margin-bottom:0.5em; }
  71. Css: li p~ul:last-child, li p~ol:last-child{ margin-bottom:0.5em; }
  72. Css: .enumerate1 {list-style-type:decimal;}
  73. Css: .enumerate2 {list-style-type:lower-alpha;}
  74. Css: .enumerate3 {list-style-type:lower-roman;}
  75. Css: .enumerate4 {list-style-type:upper-alpha;}
  76. Css: div.newtheorem { margin-bottom: 2em; margin-top: 2em;}
  77. Css: .obeylines-h,.obeylines-v {white-space: nowrap; }
  78. Css: div.obeylines-v p { margin-top:0; margin-bottom:0; }
  79. Css: .overline{ text-decoration:overline; }
  80. Css: .overline img{ border-top: 1px solid black; }
  81. Css: td.displaylines {text-align:center; white-space:nowrap;}
  82. Css: .centerline {text-align:center;}
  83. Css: .rightline {text-align:right;}
  84. Css: div.verbatim {font-family: monospace; white-space: nowrap; text-align:left; clear:both; }
  85. Css: .fbox {padding-left:3.0pt; padding-right:3.0pt; text-indent:0pt; border:solid black 0.4pt; }
  86. Css: div.fbox {display:table}
  87. Css: div.center div.fbox {text-align:center; clear:both; padding-left:3.0pt; padding-right:3.0pt; text-indent:0pt; border:solid black 0.4pt; }
  88. Css: div.minipage{width:100%;}
  89. Css: div.center, div.center div.center {text-align: center; margin-left:1em; margin-right:1em;}
  90. Css: div.center div {text-align: left;}
  91. Css: div.flushright, div.flushright div.flushright {text-align: right;}
  92. Css: div.flushright div {text-align: left;}
  93. Css: div.flushleft {text-align: left;}
  94. Css: .underline{ text-decoration:underline; }
  95. Css: .underline img{ border-bottom: 1px solid black; margin-bottom:1pt; }
  96. Css: .framebox-c, .framebox-l, .framebox-r { padding-left:3.0pt; padding-right:3.0pt; text-indent:0pt; border:solid black 0.4pt; }
  97. Css: .framebox-c {text-align:center;}
  98. Css: .framebox-l {text-align:left;}
  99. Css: .framebox-r {text-align:right;}
  100. Css: span.thank-mark{ vertical-align: super }
  101. Css: span.footnote-mark sup.textsuperscript, span.footnote-mark a sup.textsuperscript{ font-size:80%; }
  102. Css: div.tabular, div.center div.tabular {text-align: center; margin-top:0.5em; margin-bottom:0.5em; }
  103. Css: table.tabular td p{margin-top:0em;}
  104. Css: table.tabular {margin-left: auto; margin-right: auto;}
  105. Css: td p:first-child{ margin-top:0em; }
  106. Css: td p:last-child{ margin-bottom:0em; }
  107. Css: div.td00{ margin-left:0pt; margin-right:0pt; }
  108. Css: div.td01{ margin-left:0pt; margin-right:5pt; }
  109. Css: div.td10{ margin-left:5pt; margin-right:0pt; }
  110. Css: div.td11{ margin-left:5pt; margin-right:5pt; }
  111. Css: table[rules] {border-left:solid black 0.4pt; border-right:solid black 0.4pt; }
  112. Css: td.td00{ padding-left:0pt; padding-right:0pt; }
  113. Css: td.td01{ padding-left:0pt; padding-right:5pt; }
  114. Css: td.td10{ padding-left:5pt; padding-right:0pt; }
  115. Css: td.td11{ padding-left:5pt; padding-right:5pt; }
  116. Css: table[rules] {border-left:solid black 0.4pt; border-right:solid black 0.4pt; }
  117. Css: .hline hr, .cline hr{ height : 1px; margin:0px; }
  118. Css: .tabbing-right {text-align:right;}
  119. Css: span.TEX {letter-spacing: -0.125em; }
  120. Css: span.TEX span.E{ position:relative;top:0.5ex;left:-0.0417em;}
  121. Css: a span.TEX span.E {text-decoration: none; }
  122. Css: span.LATEX span.A{ position:relative; top:-0.5ex; left:-0.4em; font-size:85%;}
  123. Css: span.LATEX span.TEX{ position:relative; left: -0.4em; }
  124. Css: div.float, div.figure {margin-left: auto; margin-right: auto;}
  125. Css: div.float img {text-align:center;}
  126. Css: div.figure img {text-align:center;}
  127. Css: .marginpar {width:20%; float:right; text-align:left; margin-left:auto; margin-top:0.5em; font-size:85%; text-decoration:underline;}
  128. Css: .marginpar p{margin-top:0.4em; margin-bottom:0.4em;}
  129. Css: table.equation {width:100%;}
  130. Css: .equation td{text-align:center; }
  131. Css: td.equation { margin-top:1em; margin-bottom:1em; }
  132. Css: td.equation-label { width:5%; text-align:center; }
  133. Css: td.eqnarray4 { width:5%; white-space: normal; }
  134. Css: td.eqnarray2 { width:5%; }
  135. Css: table.eqnarray-star, table.eqnarray {width:100%;}
  136. Css: div.eqnarray{text-align:center;}
  137. Css: div.array {text-align:center;}
  138. Css: div.pmatrix {text-align:center;}
  139. Css: table.pmatrix {width:100%;}
  140. Css: span.pmatrix img{vertical-align:middle;}
  141. Css: div.pmatrix {text-align:center;}
  142. Css: table.pmatrix {width:100%;}
  143. Css: span.bar-css {text-decoration:overline;}
  144. Css: img.cdots{vertical-align:middle;}
  145. Css: .figure img.graphics {margin-left:10%;}
  146. File: 0_home_moritz_Home_Projekte_Minetest_minetest_m___s_assets_lyx_img_screenshot_20180830_142551.png
  147. File: 1_home_moritz_Home_Projekte_Minetest_minetest_m____lyx_img_Bildschirmfoto_2018-08-30_14-26-35.png
  148. File: 2_home_moritz_Home_Projekte_Minetest_minetest_m____lyx_img_Bildschirmfoto_2018-08-30_14-32-48.png
  149. File: 3_home_moritz_Home_Projekte_Minetest_minetest_m____lyx_img_Bildschirmfoto_2018-08-30_14-27-25.png
  150. File: 4_home_moritz_Home_Projekte_Minetest_minetest_m____lyx_img_Bildschirmfoto_2018-08-30_14-28-32.png
  151. File: 5_home_moritz_Home_Projekte_Minetest_minetest_m____lyx_img_Bildschirmfoto_2018-08-30_14-51-25.png
  152. File: 6_home_moritz_Home_Projekte_Minetest_minetest_mods_advtrains_assets_lyx_img_route_ex1.png
  153. File: 7_home_moritz_Home_Projekte_Minetest_minetest_mods_advtrains_assets_lyx_img_route_ex2.png
  154. File: 8_home_moritz_Home_Projekte_Minetest_minetest_mods_advtrains_assets_lyx_img_assign_signal.png
  155. File: 9_home_moritz_Home_Projekte_Minetest_minetest_mods_advtrains_assets_lyx_img_route_ex3.png
  156. File: 10_home_moritz_Home_Projekte_Minetest_minetest_____lyx_img_Bildschirmfoto_2019-01-15_19-28-09.png
  157. File: 11_home_moritz_Home_Projekte_Minetest_minetest_mods_advtrains_assets_lyx_img_arslin_ex1.png
  158. File: 12_home_moritz_Home_Projekte_Minetest_minetest_mods_advtrains_assets_lyx_img_arslin_ex2.png
  159. File: 13_home_moritz_Home_Projekte_Minetest_minetest_mods_advtrains_assets_lyx_img_ars_ex1.png
  160. --- characters ---
  161. Font("ecrm","1000","10","100")
  162. Font("ecsx","1728","17","100")
  163. Font("ecst","1440","14","100")
  164. Font("ecsx","1200","12","100")
  165. Font("ecsx","1000","10","100")
  166. Font("ecbx","1000","10","100")