Website

Check-in [1ed4ceb2a4]
Login
Overview
Comment:Prepare for upcoming name change.
Timelines: family | ancestors | descendants | both | trunk
Files: files | file ages | folders
SHA3-256: 1ed4ceb2a462d924c1a50cc0802a6566acb359b47520fbf1ba72c70661070df4
User & Date: robin.hansen on 2021-02-20 11:26:41
Other Links: manifest | tags
Context
2021-02-22
09:14
Add link to article about name change, change twitter link. check-in: b8b8261e21 user: robin.hansen tags: trunk
2021-02-20
11:26
Prepare for upcoming name change. check-in: 1ed4ceb2a4 user: robin.hansen tags: trunk
2020-11-23
12:41
Fix typo. forgettng => forgetting. check-in: ee2064fe31 user: robin.hansen tags: trunk
Changes
Hide Diffs Unified Diffs Ignore Whitespace Patch

Modified src/index.css from [6b4832c6ae] to [45d8fc602a].

33
34
35
36
37
38
39
















40
41
42
43
44
45
46
..
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
    padding-bottom: 60px;
}

#header-content {
    width: 800px;
    margin: 0 auto;
}

















#header-content nav {
    display: flex;
    justify-content: space-between;
    margin-bottom: 2em;
}

................................................................................
#header-content nav h1 .big {
    font-size: 1.25em;
}

#header-content nav h1 .small {
    font-size: .5em;
}


#header-content nav ul {
    display: flex;
    align-items: flex-end;

    list-style: none;
    margin: 0;







>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>







 







<







33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
..
67
68
69
70
71
72
73

74
75
76
77
78
79
80
    padding-bottom: 60px;
}

#header-content {
    width: 800px;
    margin: 0 auto;
}

#rename-info {
    font-size: 0.85em;
    padding-bottom: 1.25em;
}

#rename-info a {
    color: rgba(255, 255, 255, .85);
    text-decoration: none;
    border-bottom: 1px solid rgba(255, 255, 255, .85);
}

#rename-info a:hover {
    color: #ffffff;
    border-bottom: 1px solid #ffffff;
}

#header-content nav {
    display: flex;
    justify-content: space-between;
    margin-bottom: 2em;
}

................................................................................
#header-content nav h1 .big {
    font-size: 1.25em;
}

#header-content nav h1 .small {
    font-size: .5em;
}


#header-content nav ul {
    display: flex;
    align-items: flex-end;

    list-style: none;
    margin: 0;

Modified src/index.html from [723f0b9c09] to [f058db843c].

4
5
6
7
8
9
10


11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
..
75
76
77
78
79
80
81
82
83

84
85
86
87
        <title>Play</title>

        <link rel="stylesheet" href="index.css">
    </head>
    <body>
        <header>
            <div id="header-content">


                <nav>
                    <h1>
                        <span class="big">Play</span>
                        <span class="small">alpha 1</span>
                    </h1>

                    <ul>
                        <li><a alt="Get caught up on the latest news" href="https://fossils.play-lang.dev/compiler/timeline?udc=1&ss=m&n=10&y=e&advm=0">News</a></li>
                        <li><a alt="" href="https://fossils.play-lang.dev/community">Forum</a></li>
                        <li><a alt="" href="https://fossils.play-lang.dev">Source</a></li>
                    </ul>
                </nav>

                <h2>A small, portable language, for making reliable applications</h2>

                <ul>
                    <li>You can learn the syntax and semantics in an afternoon</li>
................................................................................
            <h3 class="clear">In Alpha</h3>

            <p>Play is still in early development. There are currently no strings, arrays or even garbage collection. All of this will come in time. For more information, take a look at the <a alt="Read the roadmap" href="https://fossils.play-lang.dev/compiler/wiki?name=roadmap">roadmap</a>.</p>
        </main>

        <footer>
            <ul>
                <li>© 2020 Robin Heggelund Hansen</li>
                <li>Twitter: <a href="https://twitter.com/playlanguage" alt="Play's twitter profile">@playlanguage</a></li>

            </ul>
        </footer>
    </body>
</html>







>
>







|
|
|







 







|
|
>




4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
..
77
78
79
80
81
82
83
84
85
86
87
88
89
90
        <title>Play</title>

        <link rel="stylesheet" href="index.css">
    </head>
    <body>
        <header>
            <div id="header-content">
                <div id="rename-info">This project is being renamed. Read more <a href="" title="Read about renaming of project">here</a>.</div>

                <nav>
                    <h1>
                        <span class="big">Play</span>
                        <span class="small">alpha 1</span>
                    </h1>

                    <ul>
                        <li><a title="Get caught up on the latest news" href="https://fossils.play-lang.dev/compiler/timeline?udc=1&ss=m&n=10&y=e&advm=0">News</a></li>
                        <li><a title="" href="https://fossils.play-lang.dev/community">Forum</a></li>
                        <li><a title="" href="https://fossils.play-lang.dev">Source</a></li>
                    </ul>
                </nav>

                <h2>A small, portable language, for making reliable applications</h2>

                <ul>
                    <li>You can learn the syntax and semantics in an afternoon</li>
................................................................................
            <h3 class="clear">In Alpha</h3>

            <p>Play is still in early development. There are currently no strings, arrays or even garbage collection. All of this will come in time. For more information, take a look at the <a alt="Read the roadmap" href="https://fossils.play-lang.dev/compiler/wiki?name=roadmap">roadmap</a>.</p>
        </main>

        <footer>
            <ul>
                <li>© 2020-2021 Robin Heggelund Hansen</li>
                <li>Twitter: <a href="https://twitter.com/playlanguage" title="Play's twitter profile" target="_blank">@playlanguage</a></li>
                <li><a href="https://discord.com/invite/hGxUb8pQ3b" title="Play's discord channel" target="_blank">Discord</a></li>
            </ul>
        </footer>
    </body>
</html>