Obsolete CSS?

7 views
Skip to first unread message

Andrew Scholer

unread,
Jul 22, 2024, 1:39:44 PM (2 days ago) Jul 22
to prete...@googlegroups.com
The following CSS files appear to not be in use. Grepping turned up no inclusion of them. Did I miss something?

catalog.css
edit.css
features.css
webwork.css


Andrew Scholer (he/him/his)
Computer Science Instructor/Program Chair
Chemeketa Community College

Rob Beezer

unread,
Jul 22, 2024, 2:11:14 PM (2 days ago) Jul 22
to prete...@googlegroups.com
Maintenance of the Catalog at the website has been fumbled badly. Please leave
that CSS where it is until somebody steps up as a maintainer.

I think David F may know something about edit.css, as there is an edit.js he
works with (and which may be obsolete).

Thanks,
Rob
> <http://computerscience.chemeketa.edu/people/andrew-scholer/>
>
> --
> You received this message because you are subscribed to the Google Groups
> "PreTeXt development" group.
> To unsubscribe from this group and stop receiving emails from it, send an email
> to pretext-dev...@googlegroups.com
> <mailto:pretext-dev...@googlegroups.com>.
> To view this discussion on the web visit
> https://groups.google.com/d/msgid/pretext-dev/CACm44N_fNca%2BbqevOYEZyQ17_Z7eO4ih89V9--VhaO%3D69Z78zw%40mail.gmail.com <https://groups.google.com/d/msgid/pretext-dev/CACm44N_fNca%2BbqevOYEZyQ17_Z7eO4ih89V9--VhaO%3D69Z78zw%40mail.gmail.com?utm_medium=email&utm_source=footer>.

David W. Farmer

unread,
Jul 22, 2024, 2:22:02 PM (2 days ago) Jul 22
to prete...@googlegroups.com

You can delete "edit" and "features". I will have a use for them,
but I have copies.

Possibly "webwork" is used somewhere: Alex Jordan would know.

The "catalog" is used by the catalog, but the file
we actually use comes from the server, so it can be deleted
from the repository.

Regards,

David
> --
> You received this message because you are subscribed to the Google Groups "PreTeXt development" group.
> To unsubscribe from this group and stop receiving emails from it, send an email to pretext-dev...@googlegroups.com.
> To view this discussion on the web visit
> https://groups.google.com/d/msgid/pretext-dev/CACm44N_fNca%2BbqevOYEZyQ17_Z7eO4ih89V9--VhaO%3D69Z78zw%40mail.gmail.com.
>
>

Alex Jordan

unread,
Jul 22, 2024, 2:27:44 PM (2 days ago) Jul 22
to prete...@googlegroups.com
I cannot find anything using webwork.css. It probably goes way back to when there was CSS_core as a separate repo. I don't even find this using `git log -S webwork.css`, which is not 100% conclusive (if it was used in some dynamic way like `{variable}.css`. But anyway it seems unused now.


Reply all
Reply to author
Forward
0 new messages