file type idris logo
file-type-idris from VSCode Icons by Roberto Huertas · Color · MIT Free for personal and commercial use.
- Name
- file-type-idris
- Set
- VSCode Icons
- Style
- Color
- Viewbox
- 32×32
- License
- MIT
Related icons in VSCode Icons
file-type-accessfile-type-access2file-type-actionscriptfile-type-actionscript2file-type-adafile-type-advplfile-type-affinityfile-type-affinitydesignerfile-type-affinityphotofile-type-affinitypublisherfile-type-agdafile-type-agentsfile-type-aifile-type-ai2file-type-aikidofile-type-alfile-type-al-dalfile-type-alchemyfile-type-allcontributorsfile-type-alloyfile-type-allurefile-type-angularfile-type-ansiblefile-type-antlers-html
Use the file type idris logo
SVG
<svg xmlns="http://www.w3.org/2000/svg" width="1em" height="1em" viewBox="0 0 32 32"><path fill="#8a0819" d="M13.376 6.2c3.6 1.1 4.5 2 5.8 5.2c-.3-4-1.9-5.6-5.8-5.2m-5 6.2c2.3.7 5 1.3 6 5.7c.4-5.5-2.2-5.8-6-5.7m1.6-3.6c3.5.7 5.7 1.7 7 6.2c.3-5.8-2.9-6.4-7-6.2"/><path fill="#8a0819" d="M14.576 2c19.1 12.4-4.2 12.7.8 27.1l3 .9c-8.3-11.2 18.4-17-3.8-28"/></svg>
React
import type { SVGProps } from "react";
export function VscodeIconsFileTypeIdris(props: SVGProps<SVGSVGElement>) {
return (
<svg {...props} xmlns="http://www.w3.org/2000/svg" width="1em" height="1em" viewBox="0 0 32 32"><path fill="#8a0819" d="M13.376 6.2c3.6 1.1 4.5 2 5.8 5.2c-.3-4-1.9-5.6-5.8-5.2m-5 6.2c2.3.7 5 1.3 6 5.7c.4-5.5-2.2-5.8-6-5.7m1.6-3.6c3.5.7 5.7 1.7 7 6.2c.3-5.8-2.9-6.4-7-6.2"/><path fill="#8a0819" d="M14.576 2c19.1 12.4-4.2 12.7.8 27.1l3 .9c-8.3-11.2 18.4-17-3.8-28"/></svg>
);
}
Vue
<template> <svg xmlns="http://www.w3.org/2000/svg" width="1em" height="1em" viewBox="0 0 32 32"><path fill="#8a0819" d="M13.376 6.2c3.6 1.1 4.5 2 5.8 5.2c-.3-4-1.9-5.6-5.8-5.2m-5 6.2c2.3.7 5 1.3 6 5.7c.4-5.5-2.2-5.8-6-5.7m1.6-3.6c3.5.7 5.7 1.7 7 6.2c.3-5.8-2.9-6.4-7-6.2"/><path fill="#8a0819" d="M14.576 2c19.1 12.4-4.2 12.7.8 27.1l3 .9c-8.3-11.2 18.4-17-3.8-28"/></svg> </template>
CSS
.icon-file-type-idris {
width: 24px;
height: 24px;
background-color: currentColor;
-webkit-mask: url("data:image/svg+xml,%3Csvg%20xmlns%3D%22http%3A%2F%2Fwww.w3.org%2F2000%2Fsvg%22%20width%3D%221em%22%20height%3D%221em%22%20viewBox%3D%220%200%2032%2032%22%3E%3Cpath%20fill%3D%22%238a0819%22%20d%3D%22M13.376%206.2c3.6%201.1%204.5%202%205.8%205.2c-.3-4-1.9-5.6-5.8-5.2m-5%206.2c2.3.7%205%201.3%206%205.7c.4-5.5-2.2-5.8-6-5.7m1.6-3.6c3.5.7%205.7%201.7%207%206.2c.3-5.8-2.9-6.4-7-6.2%22%2F%3E%3Cpath%20fill%3D%22%238a0819%22%20d%3D%22M14.576%202c19.1%2012.4-4.2%2012.7.8%2027.1l3%20.9c-8.3-11.2%2018.4-17-3.8-28%22%2F%3E%3C%2Fsvg%3E") no-repeat center / contain;
mask: url("data:image/svg+xml,%3Csvg%20xmlns%3D%22http%3A%2F%2Fwww.w3.org%2F2000%2Fsvg%22%20width%3D%221em%22%20height%3D%221em%22%20viewBox%3D%220%200%2032%2032%22%3E%3Cpath%20fill%3D%22%238a0819%22%20d%3D%22M13.376%206.2c3.6%201.1%204.5%202%205.8%205.2c-.3-4-1.9-5.6-5.8-5.2m-5%206.2c2.3.7%205%201.3%206%205.7c.4-5.5-2.2-5.8-6-5.7m1.6-3.6c3.5.7%205.7%201.7%207%206.2c.3-5.8-2.9-6.4-7-6.2%22%2F%3E%3Cpath%20fill%3D%22%238a0819%22%20d%3D%22M14.576%202c19.1%2012.4-4.2%2012.7.8%2027.1l3%20.9c-8.3-11.2%2018.4-17-3.8-28%22%2F%3E%3C%2Fsvg%3E") no-repeat center / contain;
}Direct links: SVG · download · JSON · https://iconsdb.app/api/v1/icon/vscode-icons/file-type-idris.svg?color=%231a73e8&size=48
