Wei-Wei Guo schrieb:
> 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'?
Ah, sorry, I refer to the issue tracker at
http://bitbucket.org/birkenfeld/sphinx/issues/new/
I still get into the Trac terminology of "tickets" sometimes :)
Georg
--~--~---------~--~----~------------~-------~--~----~
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
-~----------~----~----~----~------~----~------~--~---
