import os
# STYLE
FONT = "Helvetica,Arial,sans-serif"
# PALETTE
INK = "#000000"
MUTED = "#8e8e93"
PALE = "#bababf"
PAPER = "#ffffff"
CONCEPT = {
"gasket": "#00cad8",
"carpet": "#008cff",
"sponge": "#6768fa",
"prime": "#ff325a",
"bound": "#ff8f2c",
"window": "#ff3d40",
"control": "#8e8e93",
}
PALETTE = {
"black": "#000000",
"white": "#ffffff",
"red": "#ff3d40",
"red-light": "#ff9d95",
"red-dark": "#a80016",
"orange": "#ff8f2c",
"orange-light": "#ffc093",
"orange-dark": "#a25400",
"yellow": "#ffd100",
"yellow-light": "#ffe591",
"yellow-dark": "#9e8100",
"green": "#32cc58",
"green-light": "#5eee79",
"green-dark": "#007f2c",
"mint": "#00d1bb",
"mint-light": "#48efd8",
"mint-dark": "#008173",
"teal": "#00cad8",
"teal-light": "#48e9f7",
"teal-dark": "#007c85",
"cyan": "#1ec9f3",
"cyan-light": "#86e2ff",
"cyan-dark": "#007c98",
"blue": "#008cff",
"blue-light": "#84bdff",
"blue-dark": "#00559f",
"indigo": "#6768fa",
"indigo-light": "#9ea9ff",
"indigo-dark": "#3c2abc",
"purple": "#d332e9",
"purple-light": "#f08aff",
"purple-dark": "#870097",
"pink": "#ff325a",
"pink-light": "#ff9a9f",
"pink-dark": "#a50030",
"brown": "#b18462",
"brown-light": "#dfaf8c",
"brown-dark": "#754c2b",
"gray": "#8e8e93",
"gray-light": "#bababf",
"gray-dark": "#56565a",
}
# PALETTE END
STROKE = 1.2
THIN = 0.6
MARGIN = 36
def esc(s):
return s.replace("&", "&").replace("<", "<").replace(">", ">")
def header(width, height):
return ['"]) + "\n")
# STYLE END
# SPONGE
CELL = 34
PAD = 10
GAP = 26
LAYERS = [
("z = 1", {(2, 2)}),
("z = 2", {(2, 1), (1, 2), (2, 2), (3, 2), (2, 3)}),
("z = 3", {(2, 2)}),
]
KEEP = PALETTE["indigo-light"]
DROP = CONCEPT["sponge"]
def render():
panel = 3 * CELL
width = 2 * PAD + 3 * panel + 2 * GAP
height = 2 * PAD + panel + 30
out = header(width, height)
for k, (label, removed) in enumerate(LAYERS):
ox = PAD + k * (panel + GAP)
oy = PAD
for i in range(1, 4):
for j in range(1, 4):
x = ox + (i - 1) * CELL
y = oy + (3 - j) * CELL
colour = DROP if (i, j) in removed else KEEP
out.append('' % (x, y, CELL, CELL, colour, MUTED, THIN))
out.append(text(ox + panel // 2, oy + panel + 20, label, size=13, fill=MUTED, anchor="middle"))
return out
def main():
here = os.path.dirname(os.path.abspath(__file__))
target = os.path.join(here, os.pardir, "figures")
os.makedirs(target, exist_ok=True)
save(render(), os.path.join(target, "sponge.svg"))
print("wrote figures/sponge.svg")
if __name__ == "__main__":
main()