File tree 6 files changed +29
-20
lines changed
6 files changed +29
-20
lines changed Original file line number Diff line number Diff line change 17
17
</ a >
18
18
</ nav >
19
19
< div id ="title "> < span class ="title-bold "> Type</ span > ScriptTo< span class ="title-bold "> Lua</ span > </ div >
20
- < div id ="headline "> Write Lua in TypeScript</ div >
20
+ < div id ="headline "> Write Lua with TypeScript</ div >
21
21
</ header >
22
22
< main >
23
23
< div id ="example ">
63
63
</ div >
64
64
< div class ="feature-item ">
65
65
< div class ="feature-header "> Type Safety</ div >
66
- Large projects written in lua can become hard to maintain and make it easy to make mistakes.
66
+ Static types can ease the mental burden of writing programs, by automatically tracking information the programmer would otherwise have to track mentally in some fashion.
67
+ Types serve as documentation for yourself and other programmers and provide a ‘gradient’ that tells you what terms make sense to write.
67
68
</ div >
68
69
< div class ="feature-item ">
69
70
< div class ="feature-header "> IDE Support</ div >
70
71
Types enable JavaScript developers to use highly-productive development tools and practices like static checking and code refactoring when developing JavaScript applications.
72
+ TypeScript extensions are available for many text editors.
71
73
</ div >
72
74
</ div >
73
75
</ main >
Original file line number Diff line number Diff line change 1
1
< div id ="header ">
2
2
< div id ="logo ">
3
- < span class ="logo-bold "> Type</ span > ScriptTo< span class ="logo-bold "> Lua</ span > Playground
3
+ < a href =" / " > < span class ="logo-bold "> Type</ span > ScriptTo< span class ="logo-bold "> Lua</ span > </ a > Playground
4
4
</ div >
5
5
</ div >
6
6
< div id ="content ">
Original file line number Diff line number Diff line change @@ -12,4 +12,9 @@ html, body {
12
12
13
13
div {
14
14
box-sizing : border-box ;
15
+ }
16
+
17
+ a {
18
+ color : inherit ;
19
+ text-decoration : none ;
15
20
}
Original file line number Diff line number Diff line change @@ -9,7 +9,7 @@ main, header {
9
9
10
10
header {
11
11
#title {
12
- margin-top : 10 px ;
12
+ margin-top : 30 px ;
13
13
font-size : 72px ;
14
14
width : 100% ;
15
15
text-align : center ;
@@ -26,38 +26,38 @@ header {
26
26
}
27
27
28
28
nav {
29
- margin-top : 10 px ;
29
+ margin-top : 20 px ;
30
30
text-align : center ;
31
31
color : #5690fc ;
32
32
width : auto ;
33
33
font-size : 28px ;
34
34
font-weight : 400 ;
35
35
36
- a {
37
- color : inherit ;
38
- text-decoration : none ;
39
- }
40
-
41
36
a :hover {
42
37
color : $grey-accent ;
43
38
}
44
39
45
40
.nav-item {
46
41
display : inline-block ;
47
- margin-left : 20px ;
42
+ margin-right : 20px ;
43
+ }
44
+
45
+ a :last-child .nav-item {
46
+ margin-right : 0px ;
48
47
}
49
48
}
50
49
}
51
50
52
51
#features {
53
- margin-top : 10 px ;
52
+ margin-top : 30 px ;
54
53
margin-bottom : 20px ;
55
54
display : flex ;
56
55
}
57
56
58
57
.feature-item {
59
- flex : 33% ;
60
- padding : 10px ;
58
+ flex : 33.33% ;
59
+ padding : 20px ;
60
+ line-height : 1.5 ;
61
61
}
62
62
63
63
.feature-header {
@@ -67,7 +67,7 @@ header {
67
67
}
68
68
69
69
.example-item {
70
- padding : (10 px !important );
70
+ padding : (15 px !important );
71
71
white-space : pre ;
72
72
font-size : 12px ;
73
73
font-family : $console-fonts ;
@@ -79,7 +79,7 @@ header {
79
79
}
80
80
81
81
#example {
82
- margin-top : 40 px ;
82
+ margin-top : 70 px ;
83
83
width : 100% ;
84
84
85
85
#ts-declarations , #ts-source {
@@ -88,11 +88,11 @@ header {
88
88
}
89
89
90
90
#ts-declarations {
91
- flex : 39 % ;
91
+ flex : 40 % ;
92
92
}
93
93
94
94
#ts-source {
95
- flex : 61 % ;
95
+ flex : 60 % ;
96
96
border-left : solid 2px #5690fc ;
97
97
}
98
98
}
Original file line number Diff line number Diff line change 8
8
"dev-playground" : " webpack-dev-server --content-base dist/ --config src/playground/webpack.config.js --mode development" ,
9
9
"build-landing" : " webpack --config ./src/landing/webpack.config.js --mode production" ,
10
10
"dev-landing" : " webpack-dev-server --content-base dist/ --config src/landing/webpack.config.js --mode development" ,
11
- "build" : " npm run build-playground && npm run build-landing"
11
+ "build" : " npx rimraf dist && npm run build-playground && npm run build-landing" ,
12
+ "deploy" : " npm run build && npx gh-pages -d dist -b master"
12
13
},
13
14
"keywords" : [],
14
15
"author" : " " ,
24
25
"monaco-editor-webpack-plugin" : " ^1.5.4" ,
25
26
"node-sass" : " ^4.9.3" ,
26
27
"raw-loader" : " ^0.5.1" ,
28
+ "rimraf" : " ^2.6.2" ,
27
29
"sass-loader" : " ^7.1.0" ,
28
30
"style-loader" : " ^0.23.1" ,
29
31
"ts-loader" : " ^5.2.1" ,
Original file line number Diff line number Diff line change @@ -3,7 +3,7 @@ import 'highlight.js/styles/vs2015.css';
3
3
4
4
import { configure , highlightBlock } from 'highlight.js' ;
5
5
6
- configure ( { languages : [ "typescript" , "lua" ] } )
6
+ configure ( { languages : [ "typescript" , "lua" ] } ) ;
7
7
8
8
document . addEventListener ( 'DOMContentLoaded' , ( ) => {
9
9
let codeBlocks = document . getElementsByClassName ( 'example-item' ) ;
You can’t perform that action at this time.
0 commit comments