Patch title: Release 96 bulk changes
Abstract:
File: /pliant/graphic/layout/default_style.pli
Key:
    Removed line
    Added line
module "/pliant/language/unsafe.pli"
module "/pliant/graphic/vector/font.pli"
module "/pliant/graphic/color/rgb888.pli"
module "style.pli"


method s reset px py
  arg_rw LayoutStyle s ; arg Float px py
  implicit s
    standard:text:font size := 8
    constant ffamily "Bitstream Vera" # "Free"
    constant sans " Sans"
    constant bold " Bold"
    constant italic " Oblique"
    constant mono (shunt ffamily="Free" " Monospaced" ffamily="Bitstream Vera" " Sans Mono" " Mono")
    standard:text:font 0 :> font ffamily+sans
    standard:text:font 1 :> font ffamily+sans+bold
    standard:text:font 2 :> font ffamily+sans+italic
    standard:text:font 3 :> font ffamily+sans+bold+italic
    standard:text:font 4 :> font ffamily+mono
    standard:text:font 5 :> font ffamily+mono+bold
    standard:text:font 6 :> font ffamily+mono+italic
    standard:text:font 7 :> font ffamily+mono+bold+italic
    standard:text size := 12/72*25.4
    standard:text slide := 0
    standard:text color := color rgb 0 0 0
    standard:text bold := false
    standard:text italic := false
    standard:text fixed := false
    standard:para wrap := true
    standard:para justify := false
    standard:para align := -1
    standard:para head_padding := 6/72*25.4
    standard:para tail_padding := 6/72*25.4
    header := standard
    header:text size := 16/72*25.4
    header:text bold := true
    header:para head_padding := 12/72*25.4
    title := standard
    title:text size := 24/72*25.4
    title:text bold := true
    title:para align := 0
    title:para head_padding := 0
    title:para tail_padding := 0
    link:standard:box:padding x0 := 0 ; link:standard:box:padding y0 := 0 ; link:standard:box:padding x1 := 0 ; link:standard:box:padding y1 := 0
    link:standard:box mode := 0
    link:standard:text font :> standard:text:font 0
    link:standard:text size := standard:text size
    link:standard:text color := color rgb 0 0 192
    link over := link standard
    button:standard box := link:standard box
    button:standard:box:padding x0 := 5.5 ; button:standard:box:padding x1 := 5.5
    button:standard:box:padding y0 := 0.5 ; button:standard:box:padding y1 := 0.5
    button:standard:box mode := 2
    button:standard:box:r1 x0 := 0 ; button:standard:box:r1 y0 := 0 ; button:standard:box:r1 x1 := 0.5 ; button:standard:box:r1 y1 := 0.5
    button:standard:box:r1 round := 1
    button:standard:box:r1 color := color rgb 192 192 192
    button:standard:box:r2 x0 := 0.5 ; button:standard:box:r2 y0 := 0.5 ; button:standard:box:r2 x1 := 0 ; button:standard:box:r2 y1 := 0
    button:standard:box:r2 round := 1
    button:standard:box:r2 color := color rgb 136 136 136
    button:standard text := link:standard text
    button:standard:text color := color rgb 255 255 255
    button:standard inside_key := button:standard text
    button:standard:inside_key color := color rgb 255 255 80
    button:standard spacing := 2
    button:standard outside_key := button:standard inside_key
    button:standard:outside_key size := 8/72*25.4
    button over := button standard
    button selected := button standard
    button:selected:box:r1 color := color rgb 168 168 168 
    button:selected:box:r2 color := color rgb 96 96 96
    button selected_over := button selected
    button inactive := button standard
    button:inactive:box:r1 color := color rgb 224 224 224
    button:inactive:box:r2 color := color rgb 208 208 208
    input:standard:box:padding x0 := 2+px ; input:standard:box:padding y0 := py ; input:standard:box:padding x1 := 2+px ; input:standard:box:padding y1 := py
    input:standard:box mode := 2
    input:standard:box:r1 x0 := 0 ; input:standard:box:r1 y0 := 0 ; input:standard:box:r1 x1 := 0 ; input:standard:box:r1 y1 := 0
    input:standard:box:r1 round := 1
    input:standard:box:r1 color := color rgb 192 192 192
    input:standard:box:r2 x0 := px ; input:standard:box:r2 y0 := py ; input:standard:box:r2 x1 := px ; input:standard:box:r2 y1 := py
    input:standard:box:r2 round := 1
    input:standard:box:r2 color := color rgb 248 248 224
    input:standard:text font :> standard:text:font 0
    input:standard:text size := standard:text size
    input:standard:text color := color rgb 0 0 0
    input focus := input standard
    select standard := input standard
    select:standard:box mode := 102h
    select focus := select standard
    select:focus:box mode := 302h
    table:box:padding x0 := px/2 ; table:box:padding y0 := py/2 ; table:box:padding x1 := px/2 ; table:box:padding y1 := py/2
    table:box mode := 2
    table:box:r1 x0 := 0 ; table:box:r1 y0 := 0 ; table:box:r1 x1 := 0 ; table:box:r1 y1 := 0
    table:box:r1 round := 0
    table:box:r1 color := color rgb 0 0 0
    table:box:r2 x0 := px/2 ; table:box:r2 y0 := py/2 ; table:box:r2 x1 := px/2 ; table:box:r2 y1 := py/2
    table:box:r2 round := 0
    table cell := table box
    table:cell:padding x0 := 1 ; table:cell:padding y0 := 1 ; table:cell:padding x1 := 1 ; table:cell:padding y1 := 1
    table header := table cell
    table:header:mode := 2
    table:header:r2 color := color rgb 208 208 208
    focus thickness := 0.75
    focus color := color rgb 255 0 0


export '. reset'