secc
/
seL4-docs
mirror of https://github.com/seL4/docs.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

redesign: add tailwind dependencies 

Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
This commit is contained in:
Gerwin Klein 2025-05-07 15:28:43 +10:00
parent fc5997c4d9
commit 46ce0bfad4
No known key found for this signature in database
GPG Key ID: 20A847CE6AB7F5F3
4 changed files with 1320 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
.gitignore vendored
View File

@ -8,3 +8,4 @@ _repos/
projects/virtualization/docs/api/ projects/virtualization/docs/api/
.jekyll-cache/ .jekyll-cache/
vendor/ vendor/
node_modules/

1300
package-lock.json generated Normal file
View File

File diff suppressed because it is too large Load Diff

11
package.json Normal file
View File

@ -0,0 +1,11 @@
{
"name": "@sel4/docs",
"version": "2.0.0",
"dependencies": {
"@tailwindcss/typography": "^0.5.16",
"@tailwindcss/postcss": "^4.0.0",
"postcss": "^8.4.49",
"postcss-cli": "^11.0.0",
"tailwindcss": "^4.0.0"
}
}

8
postcss.config.js Normal file
View File

@ -0,0 +1,8 @@
// Copyright 2025 Proofcraft Pty Ltd
// SPDX-License-Identifier: BSD-2-Clause
module.exports = {
plugins: [
require('@tailwindcss/postcss'),
]
}