Georg Brandl 写道:
>> And I have a question. One of my extension have two extra files in the
>> _static
>> directory, a .js file and a .css file. Where should I put them? The content
>> of the
>> css file is
>>
>> @import "default.css";
>>
>> /* Sword folding style */
>> .open-fold .Folded { display: none; }
>> .open-fold .fulltext { display: inline; }
>> .open-fold .toggle-open { display: none; }
>> .open-fold .toggle-closed { display: inline; }
>> .closed-fold .Folded { display: inline; }
>> .closed-fold .fulltext { display: none; }
>> .closed-fold .toggle-open { display: inline; }
>> .closed-fold .toggle-closed { display: none; }
>>
>> It actually needs to add some lines in user's css template. What should I do
>> with
>> the css file?
>
> I've no answer to that yet. I've thought a bit about custom CSS, but the
> problem with it is that it is inherently theme-dependent.
>
> Still, for snippets such as yours, I can see that a method to add custom CSS
> files is needed. Please open a ticket, so that I can add it for 1.0.
>
Then I just add the .js file and .css file in a _static directory, make a note
in
the extension's README, and wait for the method.
And sorry, what do you mean by 'open a ticket'?
Best wishes,
Wei-Wei
--~--~---------~--~----~------------~-------~--~----~
You received this message because you are subscribed to the Google Groups
"sphinx-dev" group.
To post to this group, send email to [email protected]
To unsubscribe from this group, send email to
[email protected]
For more options, visit this group at
http://groups.google.com/group/sphinx-dev?hl=en
-~----------~----~----~----~------~----~------~--~---
