file type agda logo
file-type-agda from VSCode Icons by Roberto Huertas · Color · MIT Free for personal and commercial use.
- Name
- file-type-agda
- 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-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-htmlfile-type-antlr
Use the file type agda logo
SVG
<svg xmlns="http://www.w3.org/2000/svg" width="1em" height="1em" viewBox="0 0 32 32"><path fill="#d2d2d2" d="M8.46 10.79a.61.61 0 0 1-.62.61a.61.61 0 0 1-.6-.61a.61.61 0 0 1 .6-.61a.61.61 0 0 1 .62.61m2.26 0a.61.61 0 0 1-.61.61a.61.61 0 0 1-.61-.61a.61.61 0 0 1 .61-.61a.61.61 0 0 1 .61.61"/><path fill="none" stroke="#d2d2d2" stroke-linecap="round" stroke-linejoin="round" stroke-width=".82" d="M25.06 4.67L16 13.73m13.6-6.8l-4.54 4.54m4.53-6.8L25.06 9.2M13.73 4.67L9.2 9.2M16 4.67L11.47 9.2m0-4.53L2.4 13.73h4.53v4.54c0 4.98 4.08 9.06 9.06 9.06s9.06-4.08 9.06-9.06v-4.54l4.53-4.53"/></svg>
React
import type { SVGProps } from "react";
export function VscodeIconsFileTypeAgda(props: SVGProps<SVGSVGElement>) {
return (
<svg {...props} xmlns="http://www.w3.org/2000/svg" width="1em" height="1em" viewBox="0 0 32 32"><path fill="#d2d2d2" d="M8.46 10.79a.61.61 0 0 1-.62.61a.61.61 0 0 1-.6-.61a.61.61 0 0 1 .6-.61a.61.61 0 0 1 .62.61m2.26 0a.61.61 0 0 1-.61.61a.61.61 0 0 1-.61-.61a.61.61 0 0 1 .61-.61a.61.61 0 0 1 .61.61"/><path fill="none" stroke="#d2d2d2" strokeLinecap="round" strokeLinejoin="round" strokeWidth=".82" d="M25.06 4.67L16 13.73m13.6-6.8l-4.54 4.54m4.53-6.8L25.06 9.2M13.73 4.67L9.2 9.2M16 4.67L11.47 9.2m0-4.53L2.4 13.73h4.53v4.54c0 4.98 4.08 9.06 9.06 9.06s9.06-4.08 9.06-9.06v-4.54l4.53-4.53"/></svg>
);
}
Vue
<template> <svg xmlns="http://www.w3.org/2000/svg" width="1em" height="1em" viewBox="0 0 32 32"><path fill="#d2d2d2" d="M8.46 10.79a.61.61 0 0 1-.62.61a.61.61 0 0 1-.6-.61a.61.61 0 0 1 .6-.61a.61.61 0 0 1 .62.61m2.26 0a.61.61 0 0 1-.61.61a.61.61 0 0 1-.61-.61a.61.61 0 0 1 .61-.61a.61.61 0 0 1 .61.61"/><path fill="none" stroke="#d2d2d2" stroke-linecap="round" stroke-linejoin="round" stroke-width=".82" d="M25.06 4.67L16 13.73m13.6-6.8l-4.54 4.54m4.53-6.8L25.06 9.2M13.73 4.67L9.2 9.2M16 4.67L11.47 9.2m0-4.53L2.4 13.73h4.53v4.54c0 4.98 4.08 9.06 9.06 9.06s9.06-4.08 9.06-9.06v-4.54l4.53-4.53"/></svg> </template>
CSS
.icon-file-type-agda {
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%23d2d2d2%22%20d%3D%22M8.46%2010.79a.61.61%200%200%201-.62.61a.61.61%200%200%201-.6-.61a.61.61%200%200%201%20.6-.61a.61.61%200%200%201%20.62.61m2.26%200a.61.61%200%200%201-.61.61a.61.61%200%200%201-.61-.61a.61.61%200%200%201%20.61-.61a.61.61%200%200%201%20.61.61%22%2F%3E%3Cpath%20fill%3D%22none%22%20stroke%3D%22%23d2d2d2%22%20stroke-linecap%3D%22round%22%20stroke-linejoin%3D%22round%22%20stroke-width%3D%22.82%22%20d%3D%22M25.06%204.67L16%2013.73m13.6-6.8l-4.54%204.54m4.53-6.8L25.06%209.2M13.73%204.67L9.2%209.2M16%204.67L11.47%209.2m0-4.53L2.4%2013.73h4.53v4.54c0%204.98%204.08%209.06%209.06%209.06s9.06-4.08%209.06-9.06v-4.54l4.53-4.53%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%23d2d2d2%22%20d%3D%22M8.46%2010.79a.61.61%200%200%201-.62.61a.61.61%200%200%201-.6-.61a.61.61%200%200%201%20.6-.61a.61.61%200%200%201%20.62.61m2.26%200a.61.61%200%200%201-.61.61a.61.61%200%200%201-.61-.61a.61.61%200%200%201%20.61-.61a.61.61%200%200%201%20.61.61%22%2F%3E%3Cpath%20fill%3D%22none%22%20stroke%3D%22%23d2d2d2%22%20stroke-linecap%3D%22round%22%20stroke-linejoin%3D%22round%22%20stroke-width%3D%22.82%22%20d%3D%22M25.06%204.67L16%2013.73m13.6-6.8l-4.54%204.54m4.53-6.8L25.06%209.2M13.73%204.67L9.2%209.2M16%204.67L11.47%209.2m0-4.53L2.4%2013.73h4.53v4.54c0%204.98%204.08%209.06%209.06%209.06s9.06-4.08%209.06-9.06v-4.54l4.53-4.53%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-agda.svg?color=%231a73e8&size=48
