# museum.plot  24 January 2011
#
file museum.ps

  space -0.50 -0.50 12.50 6.50

  page

    line_rgb 0.5 0.5 0.5

    grid 0.0 0.0 12.0 6.0 7 4
#
#  Fill room with light gray.
#
    fill_rgb 0.94 0.94 0.96

    polygon_fill
      0.0 0.0
     12.0 0.0
     12.0 6.0
      0.0 6.0
    end
#
#  Draw room boundaries.
#
    line_thick 4
    line_rgb 0.1 0.6 0.1

    moveto  8.0 0.0
    drawto  0.0 0.0
    drawto  0.0 6.0
    drawto 12.0 6.0
    drawto 12.0 0.0
    drawto 10.0 0.0
    drawto 10.0 2.0

    moveto 10.0 4.0
    drawto 12.0 4.0

    moveto 2.0 2.0
    drawto 2.0 6.0

    moveto 4.0 0.0
    drawto 4.0 2.0

    moveto 4.0 4.0
    drawto 6.0 4.0
    drawto 6.0 6.0

    moveto 6.0 4.0
    drawto 8.0 4.0
    drawto 8.0 2.0
    drawto 6.0 2.0
#
#  Label the plot.
#
    font_size 0.40
    line_rgb 0.0 0.0 0.0

    moveto  0.8 0.8
    label   2
    moveto  2.8 0.8
    label   3
    moveto  4.8 0.8
    label   6
    moveto  6.8 0.8
    label   7
    moveto  8.8 0.8
    label   8
    moveto 10.8 0.8
    label   11

    moveto  0.8 2.8
    label   1
    moveto  2.8 2.8
    label   4
    moveto  4.8 2.8
    label   5
    moveto  6.8 2.8
    label   6
    moveto  8.8 2.8
    label   9
    moveto 10.8 2.8
    label   10

    moveto  0.8 4.8
    label   0
    moveto  2.8 4.8
    label   5
    moveto  4.8 4.8
    label   6
    moveto  6.8 4.8
    label   11
    moveto  8.8 4.8
    label   10
    moveto 10.8 4.8
    label   11

  endpage

endfile