-
Notifications
You must be signed in to change notification settings - Fork 334
How did you convert css to stylus for highlight.js theme ? #114
Comments
@shark-oxi |
It's a lot of work to manually keep them up to date, why don't you use original css version ? |
@shark-oxi |
I will check that. But for example in scss file you can write pure css so in my opinion stylus can support pure css to, I will have a look and will inform you. |
@ppoffice gulp.src('./app/styl/style.styl')
.pipe(stylus({
'include css': true
}))
.pipe(gulp.dest('./dist/css')); Or maybe more relevant is this post that have exactly the same problematic as us : Gulp: Compile Stylus and concat with pure CSS. Note : manually translate all pure css file of highlightjs style to stylus file is just impossible to maintain/update. From my opinion the easiest way is to keep pure css file from highlightjs with one of the method described previously. If you had a good reason to convert pure css to stylus so use the stylus command to convert css to stylus. But in any case don't do it manually. |
Is this updated? |
@pacientes No. There will be a major implementation overhaul for Hueman and this issue is no longer tracked. |
Oh I'm excited to see it released! |
Please make sure these boxes are checked before submitting your issue. Thank you!
Hello,
If I pick the first highlight theme named agate,
The highlight.js css
The stylus css you embed :
If I use a css to stylus converter I can get :
But I can see class are not the same and your stylus is more nested.
So how did you convert the original css to this stylus ? By hand or with a tool ?
Because the version of highlight.js you embed is not up to date and I wanted to help you to update it.
The text was updated successfully, but these errors were encountered: