Hide keyboard shortcuts

Hot-keys on this page

r m x p   toggle line displays

j k   next/prev highlighted chunk

0   (zero) top of page

1   (one) first highlighted chunk

1

2

3

4

5

6

7

8

9

10

11

12

13

14

15

16

17

18

19

20

21

22

23

24

25

26

27

28

29

30

# -*- coding: UTF-8 -*- 

# Copyright 2013-2014 Luc Saffre 

# License: BSD (see file COPYING for details) 

 

"""Sets the `html_logo` and `html_favicon` for all Lino-related sites. 

 

Using this extension currently means that you cannot set these config 

settings yourself. 

 

Also adds some css styling. 

 

""" 

 

from unipath import Path 

 

 

def builder_inited(app): 

    """Define certain settings 

    """ 

    mydir = Path(__file__).parent.child('static').absolute() 

    app.config.html_static_path.append(mydir) 

    app.config.html_logo = mydir.child('logo_web3.png') 

    app.config.html_favicon = mydir.child('favicon.ico') 

 

 

def setup(app): 

    app.add_stylesheet('linodocs.css') 

    # app.add_stylesheet('centeredlogo.css') 

    app.connect('builder-inited', builder_inited)