hanez/fun
1
0
Fork 0
forked from fun/fun
Code Pull requests Activity

.Fixes No code changes. (0.40.5)

Browse source
This commit is contained in:
Johannes Findeisen 2026-04-11 03:39:16 +02:00
commit 7b79cf9032
2 changed files with 3 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

5
web/about/about.md
View file

@ -73,7 +73,7 @@ Fun is not about being the fastest or the most feature-rich. It’s about sharin
Like the name says: Fun Unites Nerds. Like the name says: Fun Unites Nerds.
Please visit the [Fun Community Page](https://fun-lang.xyz/community/){:class="git"} to get in touch. Use the [Fun Community Page](../community/) to get in touch.
## The Goal ## The Goal
@ -116,9 +116,8 @@ See [https://git.xw3.org/fun/fun/src/branch/main/lib](https://git.xw3.org/fun/fu
Note: Not all of the above features will be implemented. Those who are marked "Done" will probably remain in Fun, but I don't know actually... ;) Note: Not all of the above features will be implemented. Those who are marked "Done" will probably remain in Fun, but I don't know actually... ;)
There are some libs written in Fun available in the [./lib/](https://git.xw3.org/fun/fun/src/branch/main/lib){:class="ext"} diretory. In the future most Fun enhancements should be written in Fun itself. There are some libs written in Fun available in the [https://git.xw3.org/fun/fun/src/branch/main/lib/](https://git.xw3.org/fun/fun/src/branch/main/lib){:class="git"} diretory. In the future most Fun enhancements should be written in Fun itself.
## Code ## Code
- [https://git.xw3.org/fun/fun/](https://git.xw3.org/fun/fun/){:class="git"} - [https://git.xw3.org/fun/fun/](https://git.xw3.org/fun/fun/){:class="git"}

2
web/css/main.scss
View file

@ -15,7 +15,7 @@ $background-color: #565656;
$headline-color: #bc6c21; //#b40000; $headline-color: #bc6c21; //#b40000;
$hover-color: #bc6c21; $hover-color: #bc6c21;
$topbutton-color: $headline-color; $topbutton-color: $headline-color;
$brand-color: #3d0e51; $brand-color: #6d0076;
$brand-color-light: lighten($brand-color, 40%); $brand-color-light: lighten($brand-color, 40%);
$grey-color: #828282; $grey-color: #828282;
$grey-color-light: #e8e8e8; $grey-color-light: #e8e8e8;