Code Editor : document-properties.svg