kzimmermann_bootstrap/elinks.conf

## ELinks 0.12pre6 configuration file

## This is ELinks configuration file. You can edit it manually,
## if you wish so; this file is edited by ELinks when you save
## options through UI, however only option values will be altered
## and missing options will be added at the end of file; if option
## is not written in this file, but in some file included from it,
## it is NOT counted as missing. Note that all your formatting,
## own comments and so on will be kept as-is.
##
## Obviously, if you don't like what ELinks is going to do with
## this file, you can change it by altering the config.saving_style
## option. Come on, aren't we friendly guys after all?



##############################
# Automatically saved options
#

## config 
#  Configuration handling options.

  ## config.saving_style_w [0|1]
  #  This is internal option used when displaying a warning about obsolete
  #  config.saving_style. You shouldn't touch it.
  set config.saving_style_w = 1


## protocol 
#  Protocol specific options.

  ## protocol.http 
  #  HTTP-specific options.

    ## protocol.http.proxy 
    #  HTTP proxy configuration.

      ## protocol.http.proxy.host <str>
      #  Host and port-number (host:port) of the HTTP proxy, or blank. If it's
      #  blank, HTTP_PROXY environment variable is checked as well.
      set protocol.http.proxy.host = "localhost:8118"



  ## protocol.https 
  #  HTTPS-specific options.

    ## protocol.https.proxy 
    #  HTTPS proxy configuration.

      ## protocol.https.proxy.host <str>
      #  Host and port-number (host:port) of the HTTPS CONNECT proxy, or blank.
      #  If it's blank, HTTPS_PROXY environment variable is checked as well.
      set protocol.https.proxy.host = "localhost:8118"




## ui 
#  User interface options.

  ## ui.language <language>
  #  Language of user interface. 'System' means that the language will be
  #  extracted from the environment dynamically.
  set ui.language = "System"





##############################
# Automatically saved options
#

## terminal 
#  Terminal options.

  ## terminal.screen 
  #  Options specific to this terminal type (according to $TERM value).

    ## terminal.screen.colors <num>
    set terminal.screen.colors = 3





##############################
# Automatically saved options
#

## document 
#  Document options.

  ## document.colors 
  #  Default document color settings.

    ## document.colors.link <color|#rrggbb>
    #  Default link color.
    set document.colors.link = "#3399ee"

    ## document.colors.vlink <color|#rrggbb>
    #  Default visited link color.
    set document.colors.vlink = "#3399ee"






##############################
# Automatically saved options
#

## document 
#  Document options.

  ## document.colors 
  #  Default document color settings.

    ## document.colors.use_document_colors <num>
    #  Use colors specified in document:
    #  0 is use always the default settings
    #  1 is use document colors if available, except background
    #  2 is use document colors, including background. This can
    #    mostly look very impressive, but some sites will appear
    #    really ugly. Note, that obviously if the background is
    #    not black, it will break the behaviour of transparency.
    set document.colors.use_document_colors = 0






##############################
# Automatically saved options
#

## ui 
#  User interface options.

  ## ui.success_msgbox [0|1]
  #  When you pressed a [ Save ] button in some manager, this option will make
  #  sure that a box confirming success of the operation will pop up.
  set ui.success_msgbox = 0





##############################
# Automatically saved options
#

## document 
#  Document options.

  ## document.colors 
  #  Default document color settings.

    ## document.colors.background <color|#rrggbb>
    #  Default background color.
    set document.colors.background = "#121212"



## ui 
#  User interface options.

  ## ui.colors 
  #  Default user interface color settings.

    ## ui.colors.color 
    #  Color settings for color terminal.

      ## ui.colors.color.mainmenu 
      #  Main menu bar colors.

        ## ui.colors.color.mainmenu.normal 
        #  Unselected main menu bar item colors.

          ## ui.colors.color.mainmenu.normal.background <color|#rrggbb>
          #  Default background color.
          set ui.colors.color.mainmenu.normal.background = "#dddddd"



      ## ui.colors.color.dialog 
      #  Dialog colors.

        ## ui.colors.color.dialog.generic 
        #  Generic dialog colors.

          ## ui.colors.color.dialog.generic.background <color|#rrggbb>
          #  Default background color.
          set ui.colors.color.dialog.generic.background = "gray80"


        ## ui.colors.color.dialog.frame 
        #  Dialog frame colors.

          ## ui.colors.color.dialog.frame.background <color|#rrggbb>
          #  Default background color.
          set ui.colors.color.dialog.frame.background = "gray80"


        ## ui.colors.color.dialog.text 
        #  Dialog text colors.

          ## ui.colors.color.dialog.text.background <color|#rrggbb>
          #  Default background color.
          set ui.colors.color.dialog.text.background = "gray80"









##############################
# Automatically saved options
#

## ui 
#  User interface options.

  ## ui.colors 
  #  Default user interface color settings.

    ## ui.colors.color 
    #  Color settings for color terminal.

      ## ui.colors.color.menu 
      #  Menu bar colors.

        ## ui.colors.color.menu.frame 
        #  Menu frame colors.

          ## ui.colors.color.menu.frame.background <color|#rrggbb>
          #  Default background color.
          set ui.colors.color.menu.frame.background = "gray80"



      ## ui.colors.color.dialog 
      #  Dialog colors.

        ## ui.colors.color.dialog.field 
        #  Dialog text field colors.

          ## ui.colors.color.dialog.field.background <color|#rrggbb>
          #  Default background color.
          set ui.colors.color.dialog.field.background = "blue"


        ## ui.colors.color.dialog.field-text 
        #  Dialog field text colors.

          ## ui.colors.color.dialog.field-text.background <color|#rrggbb>
          #  Default background color.
          set ui.colors.color.dialog.field-text.background = "blue"


        ## ui.colors.color.dialog.meter 
        #  Dialog meter colors.

          ## ui.colors.color.dialog.meter.background <color|#rrggbb>
          #  Default background color.
          set ui.colors.color.dialog.meter.background = "blue"


        ## ui.colors.color.dialog.shadow 
        #  Dialog shadow colors (see ui.shadows option).

          ## ui.colors.color.dialog.shadow.background <color|#rrggbb>
          #  Default background color.
          set ui.colors.color.dialog.shadow.background = "#444444"



      ## ui.colors.color.title 
      #  Title bar colors.

        ## ui.colors.color.title.title-bar 
        #  Generic title bar colors.

          ## ui.colors.color.title.title-bar.background <color|#rrggbb>
          #  Default background color.
          set ui.colors.color.title.title-bar.background = "gray80"


        ## ui.colors.color.title.title-text 
        #  Title bar text colors.

          ## ui.colors.color.title.title-text.background <color|#rrggbb>
          #  Default background color.
          set ui.colors.color.title.title-text.background = "gray80"



      ## ui.colors.color.status 
      #  Status bar colors.

        ## ui.colors.color.status.status-bar 
        #  Generic status bar colors.

          ## ui.colors.color.status.status-bar.background <color|#rrggbb>
          #  Default background color.
          set ui.colors.color.status.status-bar.background = "gray80"


        ## ui.colors.color.status.status-text 
        #  Status bar text colors.

          ## ui.colors.color.status.status-text.background <color|#rrggbb>
          #  Default background color.
          set ui.colors.color.status.status-text.background = "gray80"




    ## ui.colors.mono 
    #  Color settings for non-color terminal.

      ## ui.colors.mono.dialog 
      #  Dialog colors.

        ## ui.colors.mono.dialog.frame 
        #  Dialog frame colors.

          ## ui.colors.mono.dialog.frame.background <color|#rrggbb>
          #  Default background color.
          set ui.colors.mono.dialog.frame.background = "gray80"





  ## ui.dialogs 
  #  Dialogs-specific appearance and behaviour settings.

    ## ui.dialogs.shadows [0|1]
    #  Make dialogs drop shadows (the shadows are solid, you can adjust their
    #  color by ui.colors.*.dialog.shadow). You may also want to eliminate the
    #  wide borders by adjusting setup.h.
    set ui.dialogs.shadows = 1

    ## ui.dialogs.underline_hotkeys [0|1]
    #  Whether to underline hotkeys in menus to make them more visible. Requires
    #  that underlining is enabled for the terminal.
    set ui.dialogs.underline_hotkeys = 0


  ## ui.show_title_bar [0|1]
  #  Show title bar on the screen.
  set ui.show_title_bar = 1





##############################
# Automatically saved options
#

## terminal 
#  Terminal options.

  ## terminal.screen 
  #  Options specific to this terminal type (according to $TERM value).

    ## terminal.screen.transparency [0|1]
    set terminal.screen.transparency = 0





##############################
# Automatically saved options
#

## terminal 
#  Terminal options.

  ## terminal.screen 
  #  Options specific to this terminal type (according to $TERM value).

    ## terminal.screen.type <num>
    set terminal.screen.type = 2





##############################
# Automatically saved options
#

## cookies 
#  Cookies options.

  ## cookies.accept_policy <num>
  #  Cookies accepting policy:
  #  0 is accept no cookies
  #  1 is ask for confirmation before accepting cookie
  #  2 is accept all cookies
  set cookies.accept_policy = 0

  ## cookies.max_age <num>
  #  Cookie maximum age (in days):
  #  -1 is use cookie's expiration date if any
  #  0  is force expiration at the end of session, ignoring
  #     cookie's expiration date
  #  1+ is use cookie's expiration date, but limit age to the
  #     given number of days
  set cookies.max_age = 0

  ## cookies.save [0|1]
  #  Whether cookies should be loaded from and saved to disk.
  set cookies.save = 0

  ## cookies.resave [0|1]
  #  Save cookies after each change in cookies list? No effect when cookie
  #  saving (cookies.save) is off.
  set cookies.resave = 0





##############################
# Automatically saved options
#

## ui 
#  User interface options.

  ## ui.clock 
  #  Digital clock in the status bar.

    ## ui.clock.enable [0|1]
    #  Whether to display a digital clock in the status bar.
    set ui.clock.enable = 1






##############################
# Automatically saved options
#

## terminal 
#  Terminal options.

  ## terminal.xterm-256color 
  #  Options specific to this terminal type (according to $TERM value).

    ## terminal.xterm-256color.colors <num>
    set terminal.xterm-256color.colors = 3





##############################
# Automatically saved options
#

## terminal 
#  Terminal options.

  ## terminal.screen 
  #  Options specific to this terminal type (according to $TERM value).

    ## terminal.screen.m11_hack [0|1]
    set terminal.screen.m11_hack = 0





##############################
# Automatically saved options
#

## document 
#  Document options.

  ## document.history 
  #  History options.

    ## document.history.global 
    #  Global history options.

      ## document.history.global.enable [0|1]
      #  Enable global history ("history of all pages visited").
      set document.history.global.enable = 0