pixel</a>
            <a class="list-group-item" href="../type/gif_screen_type.html#variable-color_map_size">color_map_size</a>
            <a class="list-group-item" href="../type/gif_screen_type.html#variable-color_resolution">color_resolution</a>
            <a class="list-group-item" href="../type/gif_screen_type.html#variable-height">height</a>
            <a class="list-group-item" href="../type/gif_screen_type.html#variable-use_local_colormap">use_local_colormap</a>
            <a class="list-group-i