THEMES
======

Various color schemes to try out.

<style>
div#content div {
    width: 100%;
    border: 1px solid;
    font-family: monospace;
    text-indent: 1em;
}
</style>

default
-------
<div style="background: #333333; color: #2A7F3F; border-color: #2A7F3F;">
    <div style="color: #ffffff; background: #153F1F; border: 0px; border-bottom: 1px solid #2A7F3F; margin: 0;">
        WMII_FOCUSCOLORS=('#ffffff' '#153F1F' '#2A7F3F')
    </div>
    <div style="border:0; margin:0;">WMII_BACKGROUND='#333333'</div>
</div>
<div style="color: #222222; background: #5FBF77; border-color: #2A7F3F; margin-top: .5em">
    WMII_NORMCOLORS=('#222222' '#5FBF77' '#2A7F3F')
</div>

gray and green
----------------
<div style="color: #A0FF00; background: #333333; border-color: #8c8c8c;">
    <div style="color: #A0FF00; background: #686363; border: 0px; border-bottom: 1px solid #8c8c8c; margin: 0;">
        WMII_FOCUSCOLORS=('#A0FF00' '#686363' '#8c8c8c')
    </div>
    <div style="border:0; margin:0;">WMII_BACKGROUND='#333333'</div>
</div>
<div style="color: #e0e0e0; background: #444444; border-color: #666666; margin-top: .5em">
    WMII_NORMCOLORS=('#e0e0e0' '#444444' '#666666')
</div>

light blue and white
----------------------
<div style="color: #000000; background: #ddeedd; border-color: #000000;">
    <div style="color: #000000; background: #bbc5ff; border: 0px; border-bottom: 1px solid #000000; margin: 0;">
        WMII_FOCUSCOLORS=('#000000' '#bbc5ff' '#000000')
    </div>
    <div style="border:0; margin:0;">WMII_BACKGROUND='#ddeedd'</div>
</div>
<div style="color: #000000; background: #f8f8f4; border-color:  #f8f8f4; margin-top: .5em">
    WMII_NORMCOLORS=('#000000' '#f8f8f4' '#f8f8f4')
</div>

blue and smoke
--------------

<div style="color: #ffffff; background: #333333; border-color: #4C7899;">
    <div style="color: #ffffff; background: #285577; border: 0px; border-bottom: 1px solid #4C7899; margin: 0;">
        WMII_FOCUSCOLORS=('#ffffff' '#285577' '#4C7899')
    </div>
    <div style="border:0; margin:0;">WMII_BACKGROUND='#333333'</div>
</div>
<div style="color: #888888; background: #222222; border-color: #333333; margin-top: .5em">
    WMII_NORMCOLORS=('#888888' '#222222' '#333333')
</div>

sleepless night
---------------
<div style="color: #ff7700; background: #333333; border-color: #ff7700;">
    <div style="color: #ff7700; background: #11111; border: 0px; border-bottom: 1px solid #ff7700; margin: 0;">
        WMII_FOCUSCOLORS=('#ff7700' '#11111' '#ff7700')
    </div>
    <div style="burder: 0; margin: 0;">WMII_BACKGROUND='#333333'</div>
</div>
<div style="color: #000000; background: #ffffff; border-color: #666666; margin-top: .5em;">
    WMII_NORMCOLORS=('#000000' '#ffffff' '#666666')
</div>
<div style="font-family: terminus; margin-top: .5em;">
    WMII_FONT='-*-terminus-*-*-*-*-12-*-*-*-*-*-*-*'
</div>

the green
---------
<div style="color: #66FF00; background: #888888; border-color: #66FF00;">
    <div style="color: #66FF00; background: #101010; border: 0px; border-bottom: 1px solid #66FF00; margin: 0;">
        WMII_FOCUSCOLORS=('#66FF00' '#101010' '#66FF00')
    </div>
    <div style="burder: 0; margin: 0;">WMII_BACKGROUND='#888888'</div>
</div>
<div style="color: #EEEEEE; background: #000000; border-color: #111111; margin-top: .5em;">
    WMII_NORMCOLORS=('#EEEEEE' '#000000' '#111111')
</div>
<div style="font-family: snap; margin-top: .5em;">
    WMII_FONT='-artwiz-snap-normal-*-*-*-*-*-*-*-*-*-*-*'
</div>

the orange
----------
<div style="color: #000000; background: #888888; border-color: #000000;">
    <div style="color: #000000; background: #CD6D37; border: 0px; border-bottom: 1px solid #000000; margin: 0;">
        WMII_FOCUSCOLORS=('#000000' '#CD6D37' '#000000')
    </div>
    <div style="burder: 0; margin: 0;">WMII_BACKGROUND='#888888'</div>
</div>
<div style="color: #000000; background: #848484; border-color: #000000; margin-top: .5em;">
    WMII_NORMCOLORS=('#000000' '#848484' '#000000')
</div>
<div style="font-family: lucidatypewriter; margin-top: .5em;">
    WMII_FONT='-b&h-lucidatypewriter-medium-r-*-*-*-100-*-*-*-*-*-*'
</div>

crystal shining style
---------------------
<div style="color: #fefefe; background: #333333; border-color: #5090a0;">
    <div style="color: #fefefe; background: #307080; border: 0px; border-bottom: 1px solid #5090a0; margin: 0;">
        WMII_FOCUSCOLORS=('#fefefe' '#307080' '#5090a0')
    </div>
    <div style="burder: 0; margin: 0;">WMII_BACKGROUND='#333333'</div>
</div>
<div style="color: #cccccc; background: #004050; border-color: #002030; margin-top: .5em;">
    WMII_NORMCOLORS=('#cccccc' '#004050' '#002030')
</div>
<div style="font-family: fixed; margin-top: .5em;">
    WMII_FONT='-*-fixed-medium-r-normal-*-13-*-*-*-*-*-*-*'
</div>

kawai anime 
-----------
<div style="color: #000000; background: #FF88FF; border-color: #000000;">
    <div style="color: #FFFFFF; background: #FF11FF; border: 0px; border-bottom: 1px solid #000000; margin: 0;">
        WMII_FOCUSCOLORS=('#FFFFFF' '#FF11FF' '#000000')
    </div>
    <div style="burder: 0; margin: 0;">WMII_BACKGROUND='#FF88FF'</div>
</div>
<div style="color: #000000; background: #FF55FF; border-color: #000000; margin-top: .5em;">
    WMII_NORMCOLORS=('#000000' '#FF55FF' '#000000')
</div>
<div style="font-family: fixed; margin-top: .5em;">
    WMII_FONT='-*-fixed-medium-r-normal-*-13-*-*-*-*-*-*-*'
</div>


anthrazit style
---------------
<div style="color: #eeeeee; background: #333333; border-color: #708090;">
    <div style="color: #eeeeee; background: #506070; border: 0px; border-bottom: 1px solid #708090; margin: 0;">
        WMII_FOCUSCOLORS=('#eeeeee' '#506070' '#708090')
    </div>
    <div style="burder: 0; margin: 0;">WMII_BACKGROUND='#333333'</div>
</div>
<div style="color: #bbbbbb; background: #222222; border-color: #000000; margin-top: .5em;">
    WMII_NORMCOLORS=('#bbbbbb' '#222222' '#000000')
</div>
<div style="font-family: snap; margin-top: .5em;">
    WMII_FONT='-artwiz-snap-*-*-*-*-*-*-*-*-*-*-*-*'
</div>

acme style
----------
<div style="color: #000000; background: #757575; border-color: #8888cc;">
    <div style="color: #000000; background: #eaffff; border: 0px; border-bottom: 1px solid #8888cc; margin: 0;">
        WMII_FOCUSCOLORS=('#000000' '#eaffff' '#8888cc')
    </div>
    <div style="burder: 0; margin: 0;">WMII_BACKGROUND='#757575'</div>
</div>
<div style="color: #000000; background: #ffffea; border-color: #bdb76b; margin-top: .5em;">
    WMII_NORMCOLORS=('#000000' '#ffffea' '#bdb76b')
</div>
<div style="font-family: glispbold; margin-top: .5em;">
    WMII_FONT='-artwiz-glispbold-*-*-*-*-*-*-*-*-*-*-*-*'
</div>

blue style
----------
<div style="color: #000000; background: #333333; border-color: #444444;">
    <div style="color: #000000; background: #9191FF; border: 0px; border-bottom: 1px solid #444444; margin: 0;">
        WMII_FOCUSCOLORS=('#000000' '#9191FF' '#444444')
    </div>
    <div style="burder: 0; margin: 0;">WMII_BACKGROUND='#333333'</div>
</div>
<div style="color: #9191FF; background: #000000; border-color: #444444; margin-top: .5em;">
    WMII_NORMCOLORS=('#9191FF' '#000000' '#444444')
</div>
<div style="font-family: glispbold; margin-top: .5em;">
    WMII_FONT='-artwiz-glispbold-*-*-*-*-*-*-*-*-*-*-*-*'
</div>

bluedark style
--------------
<div style="color: #EEEEEE; background: #111111; border-color: #006699;">
    <div style="color: #EEEEEE; background: #005577; border: 0px; border-bottom: 1px solid #006699; margin: 0;">
        WMII_FOCUSCOLORS=('#EEEEEE' '#005577' '#006699')
    </div>
    <div style="burder: 0; margin: 0;">WMII_BACKGROUND='#111111'</div>
</div>
<div style="color: #BBBBBB; background: #222222; border-color: #000000; margin-top: .5em;">
    WMII_NORMCOLORS=('#BBBBBB' '#222222' '#000000')
</div>
<div style="font-family: glispbold; margin-top: .5em;">
    WMII_FONT='-artwiz-glispbold-*-*-*-*-*-*-*-*-*-*-*-*'
</div>

gloom
-----
<div style="color: #ffffff; background: #333333; border-color: #cccccc; margin-top: .5em;">
    <div style="color: #ffffff; background: #282828; border: 0px; border-bottom: 1px solid #cccccc; margin: 0;">
        WMII_FOCUSCOLORS=('#ffffff' '#282828' '#cccccc')
    </div>
    <div style="burder: 0; margin: 0;">WMII_BACKGROUND='#333333'</div>
</div>
<div style="color: #e0e0e0; background: #0a0a0a; border-color: #606060; margin-top: .5em;">
    WMII_NORMCOLORS=('#e0e0e0' '#0a0a0a' '#606060')
</div>

Xterm style
--------------
<div style="color: #54FF54; background: #000000; border-color: #73A5FF;">
    <div style="color: #54FF54; background: #000000; border: 0px; border-bottom: 1px solid #73A5FF; margin: 0;">
        WMII_FOCUSCOLORS=('#54FF54' '#000000' '#73A5FF')
    </div>
    <div style="margin: 0;">WMII_BACKGROUND='#000000'</div>
</div>
<div style="color: #A8A8A8; background: #000000; border-color: #A07040; margin-top: .5em;">
    WMII_NORMCOLORS=('#A8A8A8' '#000000' '#A07040')
</div>
<div style="margin-top: .5em;">
    WMII_FONT='*-fixed-medium-r-*-*-13-*-*-*-*-*-*-*'
</div>

#### This script will generate the above formatting given wmii color/font variables on its standard input:

	#/usr/local/plan9/bin/rc
	. /dev/fd/0
	* = ($WMII_FOCUSCOLORS $WMII_NORMCOLORS)
	ff = $1; fb = $2; fr = $3
	nf = $4; nb = $5; nr = $6
	bg = $WMII_BACKGROUND

	cat<<!
	<div style="color: $ff; background: $bg; border-color: $fr;">
		<div style="color: $ff; background: $fb; border: 0px; border-bottom: 1px solid $fr; margin: 0;">
		    WMII_FOCUSCOLORS=('$ff' '$fb' '$fr')
		</div>
		<div style="margin: 0;">
			WMII_BACKGROUND='$bg'
		</div>
	</div>
	<div style="color: $nf; background: $nb; border-color: $nr; margin-top: .5em;">
		WMII_NORMCOLORS=('$nf' '$nb' '$nr')
	</div>
	!   
	font=`{echo $WMII_FONT | 9 sed 's/^-[^\-]+-([^\-]+).*/\1/g'}
	if(test $"WMII_FONT) {
		cat<<!
	}
	<div style="font-family: $font;">
		WMII_FONT='$WMII_FONT'
	</div>
	!