<ahref="${ application_root }${ name }/pad/"><button>pad</button></a>: <inputtype="text"name="pad"value="https://pad.vvvvvvaria.org/${ name }.md">
<ahref="${ application_root }${ name }/stylesheet/"><button>stylesheet</button></a>: <inputtype="text"name="pad"value="https://pad.vvvvvvaria.org/${ name }.css">
<ahref="${ application_root }${ name }/html/"><button>html</button></a>
<ahref="${ application_root }${ name }/pdf/"><button>pdf</button></a>