chore: undo workflow filename change

this affects the badges, revert it for now

.gitattributes

@@ -1,5 +1,4 @@
 # https://github.com/github/linguist/blob/master/docs/overrides.md
-babel.config.js linguist-documentation=true
 docusaurus.config.js linguist-documentation=true
 sidebars.js linguist-documentation=true
 src/css/custom.css linguist-documentation=true

docs/time.mdx

@@ -1,8 +1,8 @@
 ---
 title: Time
 ---
-Following example uses `date_and_time` and `cup_time` to find current date and
-time, and determine program execution time.
+Following example uses `date_and_time` and `cpu_time` to find current date and
+time, and determines program execution time.
 
 import CodeBlock from '@theme/CodeBlock';
 import time from '!!raw-loader!/src/25_time.f90';

docusaurus.config.js

@@ -3,7 +3,6 @@ import { themes } from "prism-react-renderer";
 import remarkMath from "remark-math";
 import rehypeKatex from "rehype-katex";
 const site_url = "https://pranabdas.github.io";
-const drive_url = "https://pranab.pages.dev/assets";
 /** @type {import('@docusaurus/types').Config} */
 const config = {
   title: "Fortran Tutorial",
@@ -184,10 +183,11 @@ const config = {
 
   stylesheets: [
     {
-      href: drive_url + "/fonts/katex/katex.min.css",
+      href: "https://pranab.pages.dev/assets/fonts/katex/0.16.11/katex.min.css",
       type: "text/css",
     },
   ],
+
   future: {
     experimental_faster: true,
   },