Georg Brandl 写道:
> 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/
>
Hehe, I add a new issue.
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
-~----------~----~----~----~------~----~------~--~---
